I did have the pleasure of owning this ex-Randall Hoard beauty for a while. At less than one-tenth the price of the coin in the OP. (PCGS MS62 BN. Quite a lot of red remaining for a BN coin.)
Pretty coin. Two of these in MS-65 sold back in 2014. One brought $3800 and the other brought $6400. With the CAC sticker, I can see someone paying $7500.
What a beauty! That is the type of coin my friends and I metal detect for. They are not in the best shape when found but it's the only way we can own one.