Hi,Everyone first time poster. I have a Craftsman with a Kohler 15.5 Model # cv15s. Last year at the end of the mowing season i noticed when i choked the mower i was getting gas out of the muffler and a little smoke which cleared up quickly after starting. This year before the mowing season changing the oil it had alot of gas mixed with the oil. It has a Walbro carb So i took the bowl off and cleaned and took float and needle valve out and also cleaned. (noticed the needle had a red rubbery tip.) So i went to local repair shop to get a carb repair kit Craftsman 12-757-03s .The guy at the repair shop told me that leaving gas in the carb year round with todays ethanol gas probably damaged the carb and it would need a new one plus it would need the head gasket changed due to the gas getting in with the oil or it would blow in the future. Question is does it need a new carb and head gasket? Any help would be appreciated.