Gotcha. I started the download last night, let it run all night, and it got stuck around 3.4 GB out of the 4.8 or whatever it was...