More confusion.
In the owners hand book, (P32), "A mineral type of oil should be used, of the same grade as that specified for the engine.
G'box is 14 fl oz (398cc)."
So the handbook says use the engine oil.
In old cars I've always used EP90 axle, EP80 g'box and whatever engine oil was available.