My Father-In-Law has a craftsman 42" lawn mower model # 917.256591 and it is not charging the battery. The engine is a Kohler 15.5 hp (Model CV15S Spec 41525). We have replaced the battery and he is able to mow the lawn several times before the battery goes dead. The manual says it is the alternator which would make sense if there was one. Obviously something has to charge the battery so I am assuming they are referring to the stator? My real question is does anyone know of some tests I can do or what the problem is before i just go replacing parts. I have looked over all the wiring and no wires are cut, burnt, etc... Any help is greatly appreciated.