I have a Craftsman 4.5 HP push mower [model #11A-416H729] that wouldn't start after the rainy season. The spark plug looked ok, but I changed it anyway since I couldn't see a spark. I also replaced the coil and set the gap as specified. I topped off the oil even though it was just a tiny bit...