It's a fair argument. The reason I chose DOS is mostly for the games. I can definitely teach him to launch DOSBOX from Linux though, so that would give him a bit of exposure to Linux CLI.