Besides the other replies, 9k is on the premium end of the spectrum - literally so, pinball machines come in trim levels like cars and 9k is the price for the P

Besides the other replies, 9k is on the premium end of the spectrum - literally so, pinball machines come in trim levels like cars and 9k is the price for the Premium class. There are Pro models for 7k new or typically 6k used, and also some Home models for 5k MSRP and often under 4k at street price. They have less stuff than the premiums, but you can get into a modern machine for way less than 9k.