Without thought I always advise my customers to get a full service done after the first couple of mows.
Better to pick up some thing like a loose rocker stud then than at 200 hours when the pushrod flicks off and vanishes into the crankcase.
A quart of oil,a filter & rocker gasket are not expensive items over the life expectency of the mower but may add substantially to it.