That sounds about right price-wise, from what little I've seen. Mine was £600, but that was 11 or 12 years ago.
I'd guess yours has more original parts than mine! The scratchplate, pickup and strap buttons were original, but that's about all. I don't think it's been refinished, but oddly enough there's almost no checking at all. The finish on the neck is more discoloured than the body, but still in good nick.