Redline MT90 or MTL or Mobil 1 Synthetic Gear oil would be good choices. I doubt your transmission will notice any difference. Your shifts will be smoother, and noticeble from conventional dino lube.
Gnarls.
I like the fact that your first written choice was MT90... LOL