Go back to old post and see where people said new pins selling for 7k+ will kill the pinball business. Since those days we're now at 8k+ for machines and 12k for so called Collectors version, JJP has come to light, Stern moved to a bigger facility and we have other "boutique" manufacturers making games.
While it will certainly impact those in the EU it wont kill the industry! You just need to find a "black market" for pins in the EU thats all