gracias, elcidtotal. Ya hay un post con el manual, pero creo que no hay mucha gente interesada en grabar DIVX desde DVB.

Saludos