I just changed the fluid this weekend swithing from standard petrolium based lube to Red Line MT90
synthetic. While it is true that the syncronizers work with a certain amount of friction, Red Line knows this! And they have formulated for it. The shifts are now slightly lighter and smoother than they where before. I would personally recommend MT90.
Rick