Pushrod length

book says 8.41