Whoa, this is making my head spin. There seems to be two camps here. I would love to just play it safe and go with a GL4 oil, but these GL4 oils are usually overpriced as specialty brands, Redline, Royal Purple, etc.
I suppose that $60 or $80 to change manual tranny fluid with GL4 RP or RL is...