For $3500 invested in repairs and restoration, and at this point a $5261 winning auction bid will make for a gun with a total cost of ownership of $8761.

The gun will probably be worth about $8500 at that point IF the barrels are not too thin after proper dent/gouge/scratch removal and refinishing.

So for taking on a tremendous amount of risk and unknowns, the lucky buyer may only lose about $261.

Let's all have a moment of silence and positive feelings collectively sent towards the high bidder.