Ogg es un formato libre, muy conocido desde hace años, incluso me atrevería a decir que es mejor que el Mp3 en cuanto a tamaño / bitrate.
Yo es el que suelo utilizar para PC, pero claro, no todos los Mp3 (de bolsillo y demas) lo aceptan, aunque algunos si.
No creo que puedas pasar a Mp3 con Amarok, por que no es un formato libre, aún así hay otros programas que hacen esa función de "ripear a Mp3", no sé si "Sound Juicer" o alguno de estos te servirá, pero fijo que San Google te ayuda (o incluso el mismo Synaptic).
Saludos.
EDIT: Se me adelantaron xD