Seems a reasonable price here in Aus at around 7k.
He has had it since nearly new and has done all the servicing himself so no "official" records but thats not necessarily a bad thing, Ive been doing the same for the last 35 years.
Its apparently been faultless up to this point, its well used but not abused.

Does anyone really know what the odds are?
Is it doomed or is it like maybe 5% that fail???