Pushrod diameter question

Manton and Smith pushrod sites have some good tech info.

Facts – Manton Pushrods