Well, the update is the file did nothing. So I gave up on it, and downloaded another file (of the same size and nature) and had non problems with the download.

Still....it would be nice to know if this has occured in the past, and if there is a way to fix it (in case I come across this again - and have NO option of a different download source).

Anyone?