Mower has a 20 hp Kohler motor, is 13 years old, and very well maintained. New deck assembly this year. Teenage son runs mower out of gas. He puts gas in but it won't start. I assumed it may have...