I have a push lawn mower that I want to convert from a manual choke to an auto choke. I don't want a new mower just because I've had this one for a good amount of time and it runs great. The reason I want to convert it is my brother wants an auto choke and I like experimenting. I'm looking for...