Bought a used 33 inch push mower, with a 10.5hp briggs motor on it. Has 227 hours on it, last owner maintained it well and from what he said he put 10w30 in it. Has no oil filter. Cubcadet told me to put 5w30 synthetic in it but I was going to ask what you guys thought?