Can someone confirm what the ball radius is for the pushrod ends? I think it's 4mm (5/32)? I don't have a stock pushrod to measure myself.

Thanks!