Well if it were me, I'd just go to a truck stop, farm/home store or Tractor supply and get shell rotella 10W40.
Hell last time I was in Walmart they had it.
If its good enough for a diesel truck/tractor it will work in a lawnmower.
And if they have synthetic all the better.