You will get as many different opinions as there are oils available.   Personally I use a specific multigrade gear-box oil (Penrite GB40) as do a number of others, but then again some people swear by those Nigel lists.  Both types seem to be recommended by different gearbox re-builders so perhaps it isn't that critical.