finding correct pushrod length

I'll do it today