If this gun is in excellent mechanical condition, I would expect the US price to start just shy of $1000 and it might fetch quite a bit more--"under $1000" for a NEW gun buys you just about only Chinese, Brazilian and Turkish these days. NOT German or any other Euro-made gun.

I suspect my sense of decent prices may be 'way under the market; I'm a cheap ba----rd and am always thinking "What would I pay for this?" Usually turns out to be 'way less than somebody else is willing to pay....