Let's look at what we would expect to happen. Stern and JJP will feel a small impact, but not all 1000 buyers would have bought those machines. The people buying at $8k were not willing to buy at $13k, or they'd have one already and driven prices much higher. Higher prices stagnate the market and prohibit new customers from entering. Some of the 1000 new owners will sell machines to make room or generate funds...the dump of pins in the supply chain helps stimulate buying as prices drop due to increased supply.
The overall pin market will be more active, which is far from a bad thing...