Yes, and the DOS machine is standalone, not connected to the internet. See https://slate.com/technology/2014/05/george-r-r-martin-write...