Hi: What is the correct gearbox oil to use. In"How to restore a Triumph" byRoger Williams He say to use ST90 gear oil. But in the TR3 Service instruction Manual it says to use SAE 30. Thanks Larry