Thanks for asking.
He had some tingling in his fingers (another thread) after pitching 5 innings, so we laid off again for a week, kept doing the excercises, and his coach hasn't used him for more than 2 innings since. So far, so good. No further pain or discomfort or tingling, and he's getting his velocity back. I'm keeping my fingers crossed.