That's a decent price in today's market. There are at least seven listed on gunbroker right now, the cheapest starting bid was $879 and it's sitting at $893 right now with $30 shipping, the rest all started bids at $900 or so with several bid up over $1000. Buy it now prices are all $1200 up to $1400.

Gunnery, gunnery, gunnery.
Hit the target, all else is twaddle!