I think the tuners are early 70's!
He does mention that they as well as the strap buttons aren't original.
If it was something you wanted to restore with a nice refinish, original tuners, nut, pots etc, you're probably talking an extra grand on top.
If all of that gave you a refinish with all original parts '62 for £4k, then that seems about right for a private sale, if it was all original at around 8k (refinish=half off usually).
Thats if you're bothered about all that malarky, if it plays and sounds like a dream, then just keep it the way it is!
But it would be very cool!
Si