She could send away for his records from the
National Personnel Records Center in St. Louis, MO. She would need to fill out a
Standard Form 180 with as much information as possible, and she should hear back within a few weeks to a couple months.
It is possible to get Vietnam-era and later documents. I got my Uncle John's service record recently, and he retired from the Army in 1982.