Würde auch beim 15W40 bleiben. Beim 10w30 wirst du noch mehr Öl nachfüllen müssen. Sofern er nur im Sommer bewegt wird und wirklich Öl frisst würde ich es mal mit 20W50 probieren.
Wie viel Öl musst du denn nachkippen nach 5 Betriebsstunden?
[Von Motor-Talk aus dem Thema 'Welches Öl für rasentraktor' überführt.]