zipfile.BadZipFile: File is not a zip file

This does sound like the file got corrupted somehow? Did you try re-downloading it? You should find the download link in the first email you received from us.