Seriously doubt he'll sell it at that price, I've never seen one get more than about $200 to $300 and that was for minty at the peak of the market.
Doesn't hurt for the seller to try other than the listing fee, they'll likely lower the price eventually.