Thanks good info. The ARMory aka Baseball Ranch is run by Randy Sullivan. I recommended him through my son's experiences working up in Lakeland to TerribleBP. I hope that someday he can tell you all about Randy.
I do believe that Randy should give advice on how to proceed.
I am surprised that after your son's complaint they allowed him to lift. But we have had moo discussion. Hope that he is progressing in PT.