I doubt it. Watch the prices keep rising across the board for used and new non JJP GnR pins. That being said, if this actually is the case (despite my doubts), I'm in on any modern LCD Stern for $3,000 if anyone who has one jumps on the "devalue train". I will even go as far as slapping a sympathy card* down along with the cash on the glass.
*Card states "I am sorry about the devaluation of your item". It says "item" instead of pinball machine in case JJP GnR devalues EVERYTHING, like housing, automobiles, etc. I want to get out in front of this.