I have a Lawnboy, 4.75hp self propelled, silver series push mower thats about 6 or 7 seven years old. I believe the coil is bad and my equipment dealer is telling me that they have discontinued them. Anyone know where I might find one. I hate to trash a perfectly good mower for a $40 part. Thanks, John.