oggdec *
will convert to wav
bladenc *.wav
lame *.wav
etc...
will convert to MP3. You can, of course, specify quality options in your MP3 encoder.
RO
NOTE: If you oggdec 500 files, you are going to get ~500X35 meg files or 17.5 Gig of wavs, so don't go too crazy with the * option.
