If he's wise he will. The stiffer the pushrod the better.
Stiffness increases as the cube of the diameter increase, IIRC.
R.