it takes long time for downloading some huge files from galaxy. how about asking the user whether he/she wants  to zip the file before saving / downloading it on local computer? 

cheers

yogeshwar