oh how wild would this be to have? I bet they sell a bunch of them even if they are $10k. I was good friends with a guy many years ago that was a pinball machine repair tech and it blew my mind how intricate these machines are.