Those that have played it - would you think it a plus 10k machine though?
It's too shallow in terms of rules compared to a regular mid to late 90's style pinball machine.
I can't see commercial quantities of these selling at $10k.
Unless that is they want to market it as purely a collector's piece - stick a numbered plaque on it and do a small run of 200 or so never to be rerun.
Then you might be able to achieve a high price point.
The golden ingredient to selling a marginal product like this.. determine your outlay.. determine your numbers and price and then make it strictly limited numbered production.. will sell out before its made and healthy profit guaranteed.
The record industry did it for decades and its a win win for those who produce