I guess I no longer need to worry about changing the oil in the push mower since I let it all run out, huh? It's a good thing I checked it this evening before starting it! I used to have a riding mower but now I just have the push mower. What kind of oil do I put in it? I can't find the owner's manual.