Bought a used 50hp Johnson and repair manual it says to use OMC starter pinion lubricant for the electric starter pinion. Problem is I can't seem to find the OMC lube, what other lube could I use for the starter pinion?