I didn't notice the twin set triggers on yours. That probably makes it worth more. The one you posted discusses the detachable barrel also. I really don't know. I'd get on a Mauser-centric site. Speaking for me, I'm a lot more familiar with the Mauser-actioned military guns. They are more in the $2-6oo range (unless a sniper variant).
$5K seems steep to me, but if you must sell it, obviously you want the most you can get. If you want to sell it, you might contact Kull Auctions. They do a couple of big auctions per year with lots of good exposure. The problem with a local guy will be the scarcity of the gun you're trying to sell.
It's a beautiful rifle. I'd be loathe to sell it, but if it's not your thing, you should shop it around.
JJ
