The main pins potentially affected are the pins overpriced now anyway. $10-15k for some of these pins? That's messed up. NO pin is worth that kind of money. The market was BEGGING for this correction. It's healthy. When something gets that out of whack, the market is ripe for someone to step in and cash in on it.
Today is a GREAT day for pinball enthusiasts as pinball got a little more affordable today! . The more affordable pinball is, the more people will be involved in it. The more people are involved in pinball, the longer it will live on!