rm a wav y de wav a mp3

Son varias veces las que me he enfrentado a este cambio y nunca lo documento... pues hoy llegó el momento de cambiar eso.

Tengo un archivo.rm y deseo convertirlo en un archivo.mp3.

1. Lo primero es instalar mencoder: sudo apt-get install mencoder
2. Luego pasamos el archivo a wav: mplayer -ao pcm:file=archivo.wav archivo.rm
3. Luego instalamos lame: sudo apt-get install lame
4. Y finalmente lo pasamos a mp3: lame archivo.wav

Espero que le sirva a alguien más que a mi.