Thanks for sharing.
What did the US Code Sections cited, 10 USC 1162 and 1163 state? They were in effect at the time of his reported discharge. The wording of those regulations could be important.