The good news is job done! I had a look through my stock of O rings, you know, the assortment box that never has the size you want, well this one DID have the size I wanted. Garage man was a bit dubious, but a bit of rubber grease and heave-ho and it fitted. The supplied an fitted a new oil...