The shifting on my manual trans has been getting a little difficult lately and I am thinking of replacing the gear lube. I was wondering if anyone has tried any new types of gear lube with perhaps some additives that improved shifting performance which did not exist back in the early 80s?