Thank you for reply
I have used the named garage in the past, was disappointed not going back.
It's the rocker cover gaskets, how much is a reasonable price to fix it?
The car is only worth few thousands, not in love with the car, outdated, could well end up in a scrap yard if not economical to repair.
I had the car for 11 years, gearbox never been touched, guess seals are just 15 year old rubber/plastic disintegrating.