To obtain a copy of his service file, I would recommend filling out and submitting an SF-180. You can obtain information on doing so here: https://www.archives.gov/veterans/military-service-records#toc-military-personnel.Military personnel records for anyone discharged before 1956 are public records so are readily available by following the instructions in the link above.