Aun no he probado ningún software de conversión, pero supongo que programas como AVS Video Converter serán capaces de hacerlo.
El perder mas o menos calidad, dependerá del tamaño final que quieras obtener, así como de los ajustes que apliques a la conversión.
Eso es cuestión de jugar con los valores y probar.

Las apps que trae son esas y ya, el firmware es cerrado y no admite "plugins" ni cambios.

No creo que los de Clarke tech Editor tengan versión para MAC, pero mir a a ver. (aun así, no todas las versiones del programa son compatibles con las listas que puedes exportar del deco con cada firmware)

Saludos!