I'm a huge pinball nerd. I have a collection of nine machine and have restored over a dozen other games. It really isn't a big deal. Slight bummer sure, but the geometry and modes are there and that's ...