The operators manual says to use Shell Helix 5-40 oil. I understand that for topping up, any good synthetic (Mobile 1) would be fine. Is this correct?...