Correct. It downloaded just fine, and unzipped just fine. Both times. I have worked with PCs for many many years and have seen a lot of quirks, but I cannot explain this one.

I thought that maybe I installed some software after my first attempt that changed something in my system but thought back and don't remember anything.. and I don't really see how that would affect it anyway.

All I know is that it works, and I am pleased.