Hugh
You can contact the National archives on line and request a form 80. Fill it out and they will find his military records for you. The fee for the last set I received was $10.00