Sounds reasonable given that around 2010-11 I paid in that range for one in relatively "great" condition, with sling, old Leupold scope, dies, bullets, NOS ammunition, cases, and boxes for reloaded ammo. I figure there was at least $100-200 in the unopened ammo from when it was available, given that brass was nearly $1 ea. at the time.
Of course, as you (FB2) rightly said, should one be able to locate one for sale. They don't seem to come up often.
Geno