Duda que aceite lleva mi cortacésped honda

Tengo que hacer el cambio de aceite de mi cortacésped Honda HRN536

VKE y en el libro de instrucciones pone el recomendable de la marca Honda el SAE30 10w30, pero en la página oficial venden para esa cortacésped aceite honda 15w40.

Pregunte a la tienda que me lo vendieron y me dijeron que ellos ponen Repsol 15w40 semi-sintético

.