I guess it's a personal choice, Bushie. I would use and recommend what Briggs recommend, for the same reason that Briggs recommend it: someone might end up with a starting problem on a cold morning with SAE40 oil. However it's up to you what you do.