So if my conversion is right, that works out to be almost 3 gb for the most up to date, compressed file. Has anyone downloaded this yet, how large will the files be after being uncompressed?