It's basically just a slightly more viscous oil for the box. Coats the gears, and synchros better, and provides a slightly smoother gear change.
From what i remember the box takes about 2.3 litres of oil, there are two plugs on the side of the gearbox, one is fill hole, and one is the drain plug, easiest way to fill it it is to take the top fill plug out and then fill up from the speedo cable hole. once oil comes out of the fill hole you know it is full.