I tried downloading that yesterday but it failed.
It might be my internet which has been battered by storms over the last few weeks or it might be bandwidth on their servers.
Might try again tonight. I tried the .rar file which was something like 6.7GB compressed. I wish they had a torrent.