I like to know the oil castrol magnatec 10w40 it's ok for sea-doo gti 130 ? Thank you .