Not sure if you sorted this out but I just got gear box oil from Morris lubricants.

http://www.morrislubricants.co.uk/scripts/default.asp

Really great help aiding in selecting the right oil for the machine.

Cheers
Ant