Hi all am after any information on the original release German pinball machine. As far as I know 17,000 were manufactured of that 487 were the variants for the German market is this correct? How many were send to other countries and why where they sent. I have alwsys pressumed it was a shipping mist...