I'm new to the hobby and wanted this game ever since I discovered it exists. Since then, only one popped up for sale that was within a days drive. It was 9K. decided to wait and see if I could get one cheaper. That was 3 months ago.
For me, this game is more than a pinball machine. It's a work of art. And as someone who has room for only one machine, it matches my modern aesthetic perfectly. The simplicity, the pacing, the music. I put my deposit down the second it went live.
Also, I'm amazed at the amount of negativity and bickering around this. If you're fortunate enough to be able to spend 7k on a toy, of which you have multiples of, then 2 - 3K more isn't going to break the bank.
If you really want the game, then the time you spend waiting and hoping to find a cheaper one is going to cost you more anyway. If I passed on this now, and a year and half later, I find one for 7K, it's no longer a deal.