No, the gun went for what it was worth - $3500.00
But, then the provenance sold for $7250.00 - bringing the total hammer price to $10,750.00 and then the buyer's premium, which probably was 18% unless he mailed a signed check ahead of time. So, what does that come to, roughly $12,500.- or so?