I’m assuming manual gearbox.
Stick to the standard stuff, just Change it every few years even though it’s supposed to be filled for life.
There are lots of great oils out there, Redline are supposed to be one of the best transmission lubricants if you could match the oem spec but I wouldn’t bother.