You could try creating a new file cutting the havok file and changing the version to the same as skyrim's (hkxcmd tool only reads those) 'hk_2010.2.0-r1' and run hkxcmd. I mentioned in other post there's a tool for converting from binary to xml and/or KF files, to then be imported to 3ds max. The thing is it's in binary mode, and it's quite an old version (6.5). The 'real' havok file starts when you see this ID magic: 0x57E0E057. I took a quick look and the files doesn't seem to be compressed. To visualize it in the havok tools, you also have to have an skeleton, and the correct version (could be above the version of the havok file, according to one test I did).