If I may add, I believe galaxy will uncompress your files if zipped. Unzipping a 13 GB file, will take a while.
Kev