After this discussion and all the variables involved, I think it would be wise to verify the push rod length before ordering new ones. All I see on line are 7" to about 9" measuring tools. Has anyone seen one in the vicinity of 11" to 12"' Thanks everyone for your input and a Happy New Year.
Warren
