Help me out here guys. Went to pull my 2072 out of the shed and noticed an oil puddle when I'd never had one before. Long story short, pulled the drain plug and out came a gallon and a half of dirty GAS! Good thing I didn't fire her up. It's the 20 hp Kohler. What do you think? I'm thinkin' fuel pump. Anybody had this happen or heard of it before?