Did he ever release his DD214 (?) discharge papers?
I did a search, got a hit. I confirmed his name was on the form. I guess yes.