Welcome to the board. I like your gun. However, I have a system of valuation based on past auction returns. Said system is based on Brand Value (BV), Original Quality grade (OQ), and Current Condition (CC).
BV4 = lesser known Continental makers
OQ6 = second grade BLE
CC5 = needs work or a properly done restoration
BV4-OQ6-CC5 = $668 for 12 bore. 16 bore has in recent history commanded about 1.25 - 1.5X premium. CC5 may be a tad low, too. Also, I think you bought from a "top-o-the-heap" retailer where you pay a little more for better service. Note that value is only a starting place in the determination of price (amount agreeable to a willing buyer and willing seller).
So, all in, yes, I think you paid top dollar for it, but got a nice gun. As you noted, top dollar at this level is still reasonable. If you like the gun, then you have nothing to worry about as far as value goes. You would be unlikely to get your money back if you sold it, but, then, that is not why you bought it, is it?
Hope you find the foregoing of some use and no offense intended.
DDA
