There are quite a few coins on display at the Smithsonian that would dwarf these prices if they ever went to auction. All carefully shined up by previous generations of "conservators".
A quick search of Heritage results produced this, but I'd guess that some other details coin may have sold for more elsewhere. Heritage alone has sold 4 details coins for over $400K.