Used boxlocks sell for 7 large in your neighborhood? Today? I mean, really? I see asking prices like that here and there, especially on model 21s, but, they are always still there next month.
Welcome to Belgium. I mean that in a good way, because it looks like a nice gun. If the economy was better, say, vintage 2004, you might see that. But, I think those days are well behind us. There was a time when that Baker Paragon 12 gauge that is listed would have been snapped up at $2500.
But I doubt its going anywhere, either.
Good luck.
Best,
Ted