what is the best file extension for making music files as small a possible to share? I want to exchange with my brother and we are at odds with the file extensions. I save my music as mp3 on the harddrive.