pushrod length/measuring question

Eh did you ever get this figured out?

Does anyone know what the pushrod length would be? Or even a guesstimate?
Cheers!

-Shiny