I just had my gearbox oil changed and I am seeing gear oil leakage. A very significant leakage. Went to another garage. Told them what happened. While they will check it this Friday morning, one mechanic suggests it might have been overfilled and the gear oil might have gotten out of the drive shaft. Is this a big issue? Could any seal be damaged by this time? Thanks.