I should also consider if there's any security concern. If it's a ZIP file from an unknown source, maybe they're being cautious about malware. The user might need advice on verifying the safety of such files before downloading.