i measured my pushrods on the bad cylinder this morning and the are 9.53 inches. the haynes manual calls for 9.64 to 9.66. i called the parts store and they told me their book calls for 9.72 inches. should i buy the longer ones?