I doubt it, not because it's a good or bad game, but because no premium Stern will sell for more than $13,000 and the ones between $12,000 and $13,000 tend to sit unsold for a long time.
The pinball market is back to normal and our currency isn't helping us.