Good story hook. I can't check any of that (I haven't seen the files or that analysis), so I'll stay out of the Marduk part. If you ever want a second look at the format, paste the first 32 bytes of one file as hex: a 16-byte header shared by every file usually means a magic number plus fixed fields...