My opinion...
For your first pin buy a 100% working one from an experienced local collector with a good reputation. Yes, a working one will cost more but you’ll still have enough to do learning how to fix when issues come up (and you might be surprised how quickly ‘saving’ a few hundred will be eaten up in parts and shipping). The big advantage is that you will have a pin you can play right away. For your 2nd pin, of course, save money and buy a nonworking one if you wish.