I don't have the hi-rez download, and I've only skimmed the 1,000,000,000,000,000 posts in Hofflandia that you mention, but some people that have it were reportedly unable to extract some of the files from the huge .ZIP archive after downloading it.
And if the disk you're downloading it to is FAT32-formatted instead of NTFS, you're out of luck, as the archive is >8GB, and FAT32 maxes out at 4GB filesizes.