[MariosNic5]

Hello what type of gearbox oil are you using, i know its 75w90 , but are you using full synthetic or semi synthetic?? Please specify me the reason. Iam asking because i used 1.5lt fully synthetic and 0.3lt semi synthetic because of a broken pump . It will be a problem?

[mickd]

In all honesty,  i don't think it will matter, a 5 to 1 ratio . The two mixing isn't going to create any reaction that is going to damage the box.
If really worried,  buy some more when you get another pump, drop & change again.