This isn't a crash, only a correction. Plus, this time of year cash is otherwise allocated to other pursuits.
In the recent past, we didn't have as many options. So old loved titles increased, since the new one's werent pulling us in (stern only were only so-so). Now with Stern having some big wins, Jersey Jack, MM remake, and others; its redirecting some of the demand and cash out of the second hand market.
In general the interest and market still appears to be strong for Pinball.
If you look at pinball, it was continuing to increase in value desptie some of the tightest times in our economy. Hoepfully we have seen the peak, and things will settle back down to realistic prices. $10-15K for a machine....blah...