pushrod length/measuring question