My opinion, worth every penny it cost you, is that is a tough price range to be in today, especially if you are talking 12 gauge guns. It isnt 1987 anymore, and the guys interested in good doubles are getting fewer in number, not greater.
I wish you all the luck in the world, but, Im guessing we are all going to reckon with a new model for gun pricing. I think the house cut at most auction houses today will price the actual purchaser of the gun at a severe loss.
Heirs may not care about such things. So it goes.
Best,
Ted