For those that find this thread later, they were not. Infocom never did disk-based copy-protection, they used manual/packaging-based copy-protection - a word, a code number, colors, etc., in the "feelies" included with the purchased games. Over time, they did simplify the methods occasionally...