I agree with Geo, my first thought was <$5,000
I think some folks would be willing to pay more for a restored one, but 'normal' folks seem to want to pay $3500-$6000 for a non-reblued one / non-restored one in my dealings and watching.
I think $3500-$4500 is a likely price to get?
You can always ask $5k and come down, can't go up
Ed