I'm looking at replacing the gearbox oil and form the looks of it on here, 75W-80 is the one to go for. The box is quite old and has started to crunch into 2nd when the car is very hot (maybe oil boiling?) Rang a local garage to see if they can change the oil for me and put in 75w-80, they rang...