While it is possible that the statement is accurate, the issue became apparent only after the gearbox repair, making it unlikely that the problem is related to an O2 sensor.
The most likely cause seems to be an incorrect fluid level or a broken plug.