I think that prices will rise for ALL pinball machines over time if you take a medium to longer term view.

Sure there will be short-term market fluctuations but generally speaking if something is in short supply and collectible it will rise in value over the years if the condition is maintained (the caveat being if we run out of parts with which to fix our pinball machines).