When planning to let 2.5million people download a 3.5gb file, maybe invest in some better infrastructure. Or, use torrents. They have been proven to work!
Finally got a download, it’s going about 500kB/s (off the Microsoft site, using the download client, which incidentally works quite well). I’ll post later on once I’ve got it installed, probably tomorrow.