Can anyone tell me what Horsepower this engine is? It is on a used mower that my son-in-law has on a Craftsman lawn tractor. The tractor says it has a 20.0 HP, but the cowling on top of engine says it is a 17.5HP. I suspect the engine was worked on in a shop and somone may have put the wrong...