I am pretty sure that over 60-70% of all pinballs ever made, were sent to Germany for distribution throughout Europe.
You will also note that the local laws over there dictated that all gaming machines (pokies) must have at least one arcade machine in the same venue to offset it.(Germany)
Many pinballs were not even turned on, but were in the same venue.
The reason that pinballs are fetching good money here is quite simple economics, we are prepared to pay what people are asking as we do not have another option to purchase from.
We are buying goods that are no longer made, and getting better quality examples is becoming more difficult as the pool of stock is shrinking.
Unless no one buys any pinballs for the next 12 months, thus increasing the pool of machines for sale, then prices will fall.
If not then we will have to put up with what we have got.
Cheers Angelo