Personally if you have the space I would take that money you are going to spend on just one machine you will get tired of and buy 3 or 4 older machines. I don't care what single machine you own you will never have as much fun playing one machine as you will owning several. Personally I love Williams System 11 and Data East machines - lots of "bang for your buck" and there are a lot of great titles that can still be purchased for under $2500 (many under $2000).
Bottom line is new or used - pinball machines break and you will end up fixing them or paying someone to fix them. If you plan on fixing them yourself it is better to make mistakes on something cheaper.
If you have the space I would grab something like a Firepower, a Pin-Bot, an F-14, and Diner. You can likely buy all 4 or those (or similar machines) for less then you will pay for Ghostbusters and you will still have money left over.
If you survey pinball owners that own just one machine I would be willing to bet all (or at least a high percentage) will tell you they got tired of that one machine fairly quickly. There is nothing like having a variety of machines to walk up to in your house. I can tell you that from personal experience.