Given the purpose of the site, I think RealAudio is the format of choice. I believe people looking for mp3's tend to want complete songs, whereas, for a sound clip, they usually prefer streaming audio.