How much did the seller have to pay Holts, I wonder? And maybe it's a £2,500 gun privately these days.
Not such a great deal, I suspect, although in this instance Holts would seem to have been a reasonable choice. Pot luck really. Some Holts sales don't make a decent return at all.