I have a 2015 Craftsman Push Mower with a Briggs and Stratton model 10000 725exi series OHV engine. They claim that the original oil is good for the life of the engine and does not require changing. However, I don't believe that and so I still want to change the oil before each mowing season...