I'm trying to help out my girlfirends son who recently bought a used 25hp Johnson( late 70s model I believe). It ran for awhile after he first bought it, but now he says there is no spark. He did the usual testing and changed out the plugs to no avail. What would be the next most logical steps?