Thanks, Mark!
That's very interesting! At the end of the box, it only says Atlas #42030 RS-3, New Haven #520. I asked my very bright daughter about the DC thing. She says that they are definitely DC because her Dad was hobbying in the 80s and 90s, and back then, that's all they had...