My old 16v had oil dripping from there, took gearbox off, new clutch & lightened flywheel whilst i was at it....
Turned out it was the oil pressure switch at the front of the engine, made it all round and flywheel flung it out the cap on top on the g/box!
So gearbox didnt need come out but atleast some good was done!
Good clean, run it, decent LED torch and get inspecting.