The bits downloaded so fast, that it might be easier just to download it as one file.
I hadn't thought of that, maybe simply grabbing the whole folder in one go is the safer way to go, good point. It also seems that 7-Zip is the best tool for the job on the Win front, yes.
And as usual, let me know if you get further problems or have other questions about this set
