Pushrod Length Opinions

Oh I almost forgot. The overall stock 225 pushrod length is 9.890", pushrod diameter is 5/16" with a 5/16" ball on one end and 5/16" cup on the other. Adding the "about" .300" the rocker shaft was relocated gets us into the 10.190" range. We'll see how it measures out when the checking tool gets here.