It's amazing that it took so long to figure out a 7-character encryption key. For those that aren't aware, 3DODEAD was the key used to encrypt Jaguar cartridges to verify that they were licensed by Atari Corporation. If you try to boot an unlicensed cart in a Jaguar or something goes wrong during the validation check during startup, the Jaguar screen turns red. The Atari logo characters only fall on screen in the startup animation if the validation check passes.