Thank you all for your responses. They are interesting and very helpful.
When I bought the car in March I ‘zero based it’ and gave it a service, grease and lube change and filters. Oil is Mobile HP 10w - 50w. The cam belt was changed by the previous owner. From your replies it would seem there is nothing to be concerned about as the car performs well.