I assume people mainly use and share mp3's because the files are smaller. How long will it be before hard disks are so big that nobody needs to bother using compression, and .wav or other superior lossless formats become the standard for file-sharing?