Is there a substitute, and do I really need to buy OMC Pinion Lube for the starter gear and pinion shaft? Thanks.