From memory many moons ago the local redline rep said the shockproof oils aren't rated as such as they don't fit the standard oil testing regimes, or something like that.
If you don't have a clutch LSD you have lots of choice. Another option is ATF, some say that's mad but my mate ran it in his turbo for many years without issues.
There is also a fully synthetic Mobil oil that's quite good.
Current car has the normal castrol gl4 mineral oil. Works well, can be a bit notchy first few shifts when cold.
When filling you can use a bolt in the top of the gearbox, makes it quick and easy if you don't have the standard air box. Just need a funnel and hose. Undo the normal fill plug also so you can tell when you have filled enough.
Cheers