This just sold on Hong Kong SB auction tonight. Some of the Chinese mint error coins price are slowly catching up with US mint error coin price.
It might even caught SB by surprise otherwise they might auction them separately.
I noticed that too. I was watching that auction live. When I saw the winning error bids all I could say was "wow". There was a double-struck dollar that went for $4,200 as well.
I did not notice that. Can you post the photo of the coin?
I guess this is the one that you referred to. This one is pretty nice and interesting. Mint error coins price will be higher in the coming years I believe when more people collect them.
@jt88 here you go.
Link to lot: https://auctions.stacksbowers.com/lots/view/3-11ZZS7/t-hong-kong-mint-error-double-struck-dollar-1973-pcgs-genuine-scratch-unc-details
Ah, you did find it already. Kinda blew away the estimate a little.