IMHO, a small "notch" from wear wont hurt anything. Just grease it up and keep an eye on it. Certainly filling the notch by welding is a good approach to fixing a deeply worn rod.