What kind of oil does a craftsman 7 hp pushmower use?

Whenever you purchase a push mower you have to realize that it needs a higher grade oil. You should use a higher standard type of oil.