I thought we were over thinking about file sizes on the disk. You should look at the gzip size.