hi, this may be a stupid question but are the spark plugs from a 172 the same size as the ones from a williams? be gentle with me....