Is Redline MT-90 and/or Redline MTL still the recommended manual transmission gear lube for our cars? It seems like there have been some pretty good advancements in motor oils over the past ten years. I wonder if they've carried over into gear oils. For instance, has anybody here tried Motul 300 75W-90?