Premium is the new entry level, and to buy an entry level Stern pinball it will cost $11,500 at current exchange rates + shipping.
I hope the next model does have the Pro as an option. I can't see many sales at $12-$13K for a new machine.
All reports are saying that this is a "special" release and that the next game will go back to normal with Pro as an option. I'm guessing they'll sneak in a new price rise for the Pro. The colour lcd tax we'll call it?