to someone new to pinball, the first thing i tell people looking to buy is that you usually get what you pay for (unless you're getting ripped off). all else equal, a $7500 Theatre will usually be in far nicer condition and functionality than someone selling one for $5500 because they know it's got issues and is worn and broken. pay up now, you'll have a much nicer example, and you'll get that much more back when you sell it.