Good point. Would love to know stern production numbers too. I wonder how the majority of pinball machine production numbers are published, not just from one manufacturer but across the board. As in the almost obligatory inclusion into a particular title specs.
