I'm seeing prices near the $7K range for nice HUO ACDC Premiums, and around $8K+ for nice HUO Luci's. Simple supply and demand.
I think Stern's plate is full right now, their production line is slammed full for a long time to come. I don't think they will be remaking ACDC anytime soon.. but of course, they COULD in the future... just how long are we talking about is the question. Most likely years?
Then you have to take into account that Stern prices are up (er, enforced at a higher selling point) so I would expect the new Premiums, IF/WHEN they do them, to be at the higher price also.
To me, if I didn't have one, I'd snag one now and just enjoy.. and if they remake it, the money I may lose is the cost of playing the machine at my house/ownership.