My father-in-law gave me his old (1997) Craftsman EZ3 5 hp lawn mower. Ran it today for the first time and put a little Neutra 131 in the crankcase and in the fuel. I have spent the last 15 years mowing with an electric mower, so this is a big change. Anyway, I need to change the oil soon. The manual says SF or SG straight 30 oil. I assume an SL has too little zddp so I got a 20 oz ACE Lawnmower Engine Oil SAE HD30 at my local Ace hardware today. I assume this is as good as any mower oil. Anybody know about this oil, or is there another oil I should use instead? What about Redline (seriously as I got it for discount on the Adv Auto clearance)?