When one seperates or retires from the DOD the single most important piece of paper is the DD214 as it will be your single record of accomplishments and validation for retirement, employment or medical benefits.
Make certified copies and keep the original in a safe place. As to this event , one such lie negates all his honorable efforts if ever there was in the first place.
Stay Safe !
When I got out of the Navy in 1970, I grabbed my DD214 and ran as fast as I could back to civilian life. I never even bothered looking at all that crap in my service folder until many years later. When I finally checked it out, one thing that I noted was that it contained no mention at all of one of the ships that I served on (I was on 3 ships in 4 years).
Clerks make mistakes, I never even considered trying to get it corrected. I never even noticed if all awards were listed. I guess I was just too happy being a civilian again to care that much...