That would be a big zip file, but would not take a long time to unzip.