Dear Mr. Betz,
If you are looking for information about requesting veterans' service records, the following website might be helpful for you:
The site includes guidelines about who can request Official Military Personnel Files (OMPFs), how to request them, required and recommended information (to include on the request form), and more.
These Frequently Asked Questions might also be useful: Veterans' FAQ | National Archives
You can also contact the Textual Reference Branch at the National Archives in College Park, MD with questions about researching Korean War service: firstname.lastname@example.org