No, zkusil bych se podívat, co dovede mencoder (myslím, že se nainstaluje společně s mplayerem). Jednou jsem potřeboval převést nějaké video z mov do avi a při zkoumání možností mencoderu jsem zjistil, že toho umí opravdu nepřeberně, takže bych si tipl, že i ten převod audiostopy z DVD do mp3.