Good morning,
Yes, that would be the cause of it not extracting. I was looking at it and was like it looks a little different of a zip I wonder if he used winrar. Almost forgot all about that program last time I used it was like 2008 or 09 ish.
Thank you have a lovely day!