Have read the threads on gearbox oil posted previously but am wondering what to put in my 1998 1.9TD . Is it the 78/80 or something else? Have just had some work done on my gearbox so it will need new oil not topping up. How much should go into the gearbox. Any advice will be gratefully received.