for what it is worth
I would NOT use a synthetic oil. Unless Yanmar has changed there recomendation they did NOT recomend using a synthetic oil.IMO you don't need it as you should not be working the engine hard enough to justify it,and would gain little if any benfit.As Steve said you still need to change the oil based on time even if you don't get the hours,so there is no cost savings. If the engine was new maybe then I might use it but my expirence has been bad switching to a synthetic after using non synthetic oil,oil seals and gaskets leaked (had to replace a rear main seal)If you really think you have to use a synthetic oil consider a blend of regular oil and synthetic.Just my thoughts for what they are worth !