Eightbore, If I had been asked that same question I would hope my heart rate increase did not cause me a problem. Of course 12.5K might be just a little more money back then. Not that you are old as the hills, or saw Davey Crockett at that show.
If you have dealt with guns long enough you will have a few of those that got away stories. I failed to buy several which still haunt me these days. Parker with 24" barrels and a Lefever which I suspect was a A grade or higher. Hens teeth type of guns I should never see again most likely. Well there was a set of Parkers with 24" barrels which had a asking price of 250K 25 years ago. Kind of hens teeth after braces.
I got glassy eyed when the earlier poster mentioned all those hammer guns being considered scrap in the 60's. What guns ended up as scrap we never will know but out of fashion can make even high quality guns hard to sell. It is going on now with antiques. Given time most things tend to return, to demand good prices. Guns I bought for a couple grand, then later sold for five and ten grand now seem to be asking 20-30 grand.