Thanks herb, I did read that part but failed to see where it said anything about atari5200 not being installed. I guess I assumed it was since both atari 2600 and 7800 were, and it wasn't mentioned in https://github.com/RetroPie/RetroPie-Setup/wiki/Atari-800-and-5200