Furthermore, working machines come at big premiums as repairs are finicky, expensive, and time consuming - god help you if you own a machine and some targets or rollovers on your machine give out, as it’s challenging to find someone who’s even capable of doing the repairs, let alone pay their price. The expertise to do it is really thin these days because all the people who historically used to make a living from it are all getting old and retiring. This combines with a second problem: although widespread 3D printing helped a little with making repairs more doable, parts are hard to come by and often demand cannibalizing other old or dead machines - meaning a working machine is worth its weight in gold, and so is a dead one: Either it has interested players, or it’s of value for salvage. This “literally every machine is valuable” situation drives prices up, even if the machine is essentially dead.
Though todays' manufacturers already try the latter, otherwise those machines would be even more expensive. You should take a peek into the belly of a machine when you get the chance somewhere - ideally into a newer machine, manufactured after 2010, and into a 90s machine. That's a stark comparison: the 90s models have thousands upon thousands of individual cables, wiring hundreds of individual lamps and solenoids and sensors. On the newer machines, manufacturers tried to cut down on the number of cables, pre-fabricating larger modules with LEDs on large PCBs, or installing sub-controllers from which solenoids are driven instead of wiring all of them individually with hundreds of large cables into the backbox.
But there are limits to this kind of optimization. After all, pinball machines are mechanical contraptions that need to integrate lots of individual mechanical parts spread over a large area. If you can't replace them with solid-state elements (which is basically what a virtual pinball table does, by replacing almost all mechanics with a screen) or concentrate them into smaller areas, you can only gain so much using modularization.
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.
Used machines in perfect working order from back when there were arcades are way cheaper.