I think the 10W40 or the 15W40 diesel oil would both work fine. My preference is the Rotella 15W40 (diesel engine oil), but I don't use synthetic... Just plain old dino oil for me
I'm guessing that the manufacturer specs 15W40 because the air cooled engines run a little hotter than their liquid cooled counterparts.