I'm running the s13 gearbox and was recommended to use the Redline mt90 oil. It shifts much smoother now, especially when the gearbox is still cold.
Edit: I did back to back testing with several flavors of gl4 oil with the same viscosity - I guess the additives have a major impact on how the gearbox "feels".