I use Castrols
synthetic gearbox
oil - and have raced the car for years without any problems (or maintenance on the gearbox other than a couple of
oil changes).
Called SAFEX I think. (or that could be the diff). But fully
synthetic anyway, supposed to be able to cope with higher temperatures.
Gearbox is a SAENZ unit (5 speed race dog box).