[retiredguy123]

I would ask the service people if they have another brand of 10W40 oil that they use for oil changes. I would be surprised if they use the Yamalube brand of oil. It's too expensive.