It's been many years since I last changed Manual Transmission gear oil. My current 4 1/2 year old car has only 41,000 miles on it, so I have never done a gear oil change on it. My question: my Owner's Manual calls for GL-4 80w-90 in the Manual Transmission. But all the Popular gear oils these days seem to be GL-5. So, is it O.K. for me to pour GL-5 into my purportedly GL-4 gearbox? I am worried to run into "unexpected" happenings such as not being able to get into the next gear.