I'm glad it did! Sorry about the issue, I'm not sure why 7zip solved since it's supposed to be a standard zip file.7zip has it's own, stronger zip format that generally yields much better results but I didn't use it for compatibility issues (most people I assume don't have it and it's annoying to have to get another app to unzip it)
So yeah, bit perplexed and will monitor if others run into being able to unzip.
That said, I'm happy it's solved for you and can only (hope) wish you'll have a good time!