I would agree with Cavey on the value of a new Pro at $6.6k as I bought a pimped out 18 month IM for $5.5k, but do question the LE's at $9k as I think they are not worth that and think that AMD might be taking a slightly bigger slice of the pie compared to a Pro but while people keep paying it the prices will be up there.
If new pins go up to $12k for a le stern I can't imagine many people getting one and that will make a JJP around the $13-$14 - man I will settle at a gamesroom of 6 x $2.5k pins please. For these businesses to keep getting sales they will have to reduce there margins - plus I don't think AMD's prices have changed for many years so I think after the dollar changed a few years ago they have been enjoying a bit more profit - but I am guessing on this.
Stern and JJP are capitalising on a wave of baby boomers and retirees with plenty of disposable cash. These are the guys who fueled the pinball golden era in the 1970s and are now stocking their own home pinball parlours. You will not see too many of these guys selling their LEs in the short term however, when the boomers start to die off in 20 to 30 years time, their children will probably start selling all those lovely looked after gems. The only LEs that you see come up will be from speculators wanting a fast buck or guys getting wed and needing quick cash.