BTW
I use 50/50 Dextron-III / 80-90 gearoil. The only reason gearoil is in there at all, is for longevity of the highly-loaded and fastest-wearing part, the cluster-pin, and for the pilot on the front of the M/S.
I tried full-synthetic but couldn't make it work at 6000 to 7000 rpm; it was just too slippery, slowing the shifts down. I really really tried.