Pushrod diameter question