@xintersecty I didn't check the gearbox oil level myself.
I simply trusted the mechanic who changed the oil.