They seem to garner around $150 + or -
I don't think $550 would be too much to ask for the gun, with all the stuff (box, manual, rings, etc)
So if we give or take a little on each, I think $650 would be reasonable.
But, if I was selling I'd probably start it @ $750 ;-)
You never know.....