Forum Overview :: Aquaman: Battle for Atlantis :: .swf is the exported file, so he'll also need an .swf decompiler/unlocker.