Had my type 9 gearbox rebuilt by road & race in Kent, they specified EP 75 or EP 80 as otherwise the it may be difficult to smoothly select gears. It was some time ago, so may be worth contacting them to check,if you haven't already changed it. Apparently I had the wrong oil in mine when it was stripped down