mp3 woes...

Lat night I finished ripping my wife's cd collection into our shared mp3 folder... or so I thought! I forgot to toggle a button on the ripper and now I'm stuck with 700 wav files instead!

(and there was a great wailing and gnashing of teeth...)

Does anyone know of a way to convert wav to mp3 keeping the tags intact? It's starting to look like I'll need to start over.