I'm using Transmax M, its decent for the manual boxes.. but I know everyone gets their onderbroeke in a knot when it comes to choices of oil.. so ya I dunno.
Royal Purple is the gearbox oil of choice on the M5board. There is even a sticker on the Gearbox that says not to change the oil ever. But from experience Royal purple does a better job than the original oil.