To tack on to what David said; you should also consider just replacing the pushrod. There is a measurement in the Bentley but the damned thing is how old now? Just a little difference make such a difference. TBerk