Clutch seems to be working nicely. I don’t think it is the gearbox seal although there is oil in that area, seems to be oil all around the bell housing. And leaking quite considerably when the engines warm. Hey
only started after the car mainly does short trips then I took it for a drive for 2hours+ Which made me think it was the rear main seal.
I don’t think any of it (seal, clutch etc) has ever been replaced so would it be worth biting the bullet and replacing the clutch while it’s all disassembled?