I think you are referering to "mysqldump" no "er". But yes the file you download will be smaller as it is compressed.

Oh and importing large dumps use this command:
Code: 
gunzip < file.sql.gz | mysql -u user -ppass database