I wouldn’t put too much stress on changing him, unless he is pumping the ball multiple times. A lot of high level guys will pump to stay in rhythm. Most ball players especially MIF will have an internal clock in their heads. They know that routine ground balls are outs as long as they smoothly work through it with good footwork. The only time that I would mention not pumping at all is if the kid pumps on a do or die slow dribbler that has to be thrown on the run. But usually that internal clock thing in your head takes over and the kid comes up throwing