Thanks CG for those links . I downloaded WAV to MP3 Encoder. It encodes at up to 320kb/sec which is good enough for what I want to do (reduce the size of my demos to allow me to distribute them).