The 4200 service manual shows waterproof grease being applied to the splined clutch shaft and the torque tube shaft. Does anyone know what type / spec of grease should be used? Thanks, Simon