Pasar de MKV a VOB en Mac OS??

Pues si, tras utilizar la búsqueda no he encontrado nada y pregunto si existe algún programa tipo Gotsent o parecido para convertir los archivos MKV a formato para Ps3 desde un ordenador Apple con Mac OS???

Gracias.

saludos.