Bueno, te contestaré.
Yo tambien tengo ONO y para poder grabar de él necesitas que el aparato grabe de una fuente externa.
Eso es lo dificil pues muy pocos lo hacen.
Del Tvix olvidate, no tiene entrada exterior.

Los unicos que he visto son los o2media HMR-600w, el O2media HMR1000 y el Siemens Gigaset HD795T.

Los 2 primeros estan desaparecidos en combate, siguen en el catalogo de O2media, pero no los venden ni en su web online, puede que quede alguno en alguna tienda por ahí perdido.
De todas formas ya tuve un HMR600w hace tiempo y lo devolví porque el sintonizador TDT era una patata y pixelaba mucho, puede que ya lo hayan mejorado, pero no me voy a a arriegar.

Pensé en el siemens pero despues de leer en los foros la cantidad de problemas que tiene y de los inventos caseros que tienen que hacer los usuarios para poder configurarlo al gusto, lo descarté.

Por lo tanto, siento decirte que, por lo menos de todo lo que he leido, no hay ningun hd multimedia que nos solucione el problema de grabar decentemente de un decodificador externo.

La unica altenativa es un dvd grabador que si suelen tener entrada AV.
Yo tengo un samsung SH895 que fué baratito y que practicamente solo lo uso para eso.

Suerte.