Itried again a few hours later and the download worked fine.

I agree that it looked like the download got interrupted before it dould finish, like a server connection was dropped. I have Verizon FIOS with the speed enhancement and a zip file download normally takes about 3 to 5 seconds, so maybe on account of the load, the server couldn't keep up.

mazzam