I'm changing my gearbox oil and was wondering whether or not to use an additive....whats the general opinion??