Update: I got the car back last week. The mechanic cleaned the oil off the gearbox, took a drive, checked for leaks, let it sit for a day, checked again. He said he did not see any oil escaping. He also checked the oil level and found it ok. So he cleared the car back without any repairs...