That's more like the real world prices I've saw. I would say a gun with a cracked forearm and a cut butt would be about a third or maybe half of that.

O/U-BCr/cB= $1200 to $1500 with problems corrected by patchwork I'd bump it up to 16 to $1800.
Of course there's allot of suckers for Brownings. Should you decide to sell it you could wait on one of those and then the skys the limit.