While I still can’t locate that article, I did find a site called pricecharting.com, where that $12,500 price apparently happened in 2012. It appears that sealed copies don’t sell often.
In any case, that $12,500 price was apparently an anomaly, with other sales happening at a much lower price range, which varies considerably.