Pushrod Length Question

Heywodja said
Mine were 9.90 from Smith Brothers on trickflow 240 heads.

I better go remeasure them. Yep 9.00, I recall thinking they were a bit short before I surfaced the heads.