Oh, BTW....
If you go with an older pinball, some things to not get....
1. Don't buy anything not made by Bally, Williams, Gottlieb, Stern, Data East, Sega, or Premier, as it is almost impossible to find replacement parts for games by companies like Chicago Coin, United, etc....
2. Cosmetics are the biggest draw on a pinball. Unless you don't care what it looks like, don't buy games with large patches of bare wood on the playfield (you'll never be able to touch it up to match), cabinets with repainted sides (or varnished) unless done professionally, or games that have the paint flaking off the backglass (again, touching up with paint will look worse).
3. If a game has a broken backglass (the part on the head with the picture and name of game on it), do not buy it. It is almost impossible to buy a replacement. A very few are being reproduced, but they are mainly only for the super-collectible games. An original backglass in good condition can sometimes be worth as much as the rest of the game put together.
4. If it smells like smoke, it was probably in a house fire. Open up the game and stick your head inside and sniff. This is also a good way to see if cats (or mice) have been using it for a litterbox.
As I said, if you just want a pinball, then get any old junk, but if you want something that going to look good and play good in your home, then stay away from the troublesome ones....