Library/Application Support/Denki/Autonauts/
Are you sure? I looked there and the folder 'Denki' doesn't exist.
Maybe its a hidden file i am not sure i found this in the FAQ
