for my lantis 1.8 manual gearbox, i only use the normal kind from the workshop (the one with big tong) and the brand is depend to which shop u go. what i practice is every 10k km then i change the gear oil already.
before this i was stick to castrol gtx, but somehow due to compact engine bay at mazda lantis. some workshop facing difiiculty to change the gear oil because some of them not able to take out the speed sensor at the gb to fill the gear oil. :( so now i only stick to what they have in the workshop because they can pump in the gb oil through the nut below the gb.