Well spotted, I think they would still get the right one.
You only really have 3 options from Redline - MTL (80 weight), MT90 (90 weight) and "lightweight shockproof" (140 weight). The last one is a really weird product but quite essential if you've really upped the power - it is actually a grease but it behaves like an oil...
Of note all 3 are suitable for use in an EP compatible gearbox but none of them are actually EP oils and will not damage your gearbox like an EP oil would. They constitute the only exception that I know of to the "never put an ep rated oil in your gearbox" rule.