It has definitely dropped since the announcement, but I don't know if a super shopped MM would have gotten north of 15k. It is not a high end restore by Treasure Cove, but just a super, super nice shop job as explained in their description. They were careful to differentiate between their shop job and restore job in the auction.

I think the biggest change is in the price for the regular player MM. They were going close to 12k, but have dropped closer to 9k and will probably match the MMr as the game is released unless it is really in bad shape. Once MMr has its run, you will see the entire MM market hit close to 7k for very good original MM, or 7k for nice minty HUO MMr. I still think restored MM will sell for the highest amount, but significantly less than before.

Something nobody has talked about is since the original MM is going down, the lower price value is going to keep the price value of the MMr from skyrocketing. I know people that bought into the MMr thinking it would reach restored MM prices. What if restored prices hit 10k? Now with the regular run announced, and prices of the original dropping, MMr LE's will probably depreciate like every other pin besides BIBLE or TronLE.