push rod length?

No idea, but I'd like to know too. My GUESS (pulled straight outta my butt) is that the pushrod length doesn't change.

So I'll give you a bump.

Regards,

Joe Dokes