FYI: The "64K full" dump is nothing more than the 8K dump with 56K of hex "FF" appended to the end. If your 64K dump has a CRC-32 of 0B1AD2D0, you've got the right dump.
(For the curious, the 8K "stripped" dump has a CRC-32 of 62F11C04.)
I am not certain which is shipped with AF6, though I'd be awfully curious to know, since I (re)wrote an encryption engine for exactly this reason.
Rodney