It is academic now, but, just because it is an interesting legal question, I would say there was no mistake of fact in this situation sufficient to void the contract - both buyer and seller knew the exact specific gun that was being sold. The seller and/or the buyer not knowing the true value of an item happens all the time in business transactions and is not a mistake the law protects against.

Glad DrBob got his money back.