just picked up a used lawnboy push mower with a 6.5 tecumseh. gonna do a basic tune up, new oil, plug, etc. it calls for SAE 30, but i was thinking of going with a 10W30 synthetic or some old CI-4 Rotella 5W40 i have left over. would either of these oils hurt it? and would the 40 wt cause more strain on the engine?