Pushrod diameter question

Are you thinking about a change because of noise? is there a problem?
No, I just was surprised to see something other than a 5/16 pushrod, and was curious why someone might do such a thing.