Thanks, maxo
No, unzipping is no problem. One of them can’t even get the download going.
The other one, we finally got it working, but I’m not sure what combination of maneuvers finally got the job done.
No, they’re not close by, otherwise I would do it for them myself.