Help me buy a pinball machine

[gonores]

I'm currently in the market for a pinball machine for my parents. I'm looking to spend $1000-$3000. I've found at least one desireable theme from each of the six main manufacturers, so my window for purchase is pretty wide open.

So what is important? My dad is a tradesman, and should know enough to make simple electrical repairs a(I hear these things break down a lot). Me not knowing much about electonics myself, I don't know just how difficult repairs are.

Is there a preferred type of distributor for these machines (online, straight for mfgr., buying second-hand from arcades)?

Is new way better than used?

Does one manufacturer make more quality products than others?

What other questions should I be asking?