I would look at what they're using at the track for that gearbox. How many models use that drive-train?
If it were mine I would not use a 75w80 as fuel efficiency is not my top priority, making things work well and last long is. I would upgrade to a 75w85 or 75w90 from Red Line, Amsoil, HPS, or...