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.