I finished downloading the x64 ISO from the link posted here http://www.hardocp.com/news.html?news=MzcxNzgsLCxoZW50aHVzaWFzdCwsLDE=
It's 3.15 GB.
I'm doing the same thing though I am only getting 277 kps on a 10mbit connection. I'll take it I guess...