Parece ser que al final la solución va a ser un Media Player 2xtdt tipo TITAN CONCEPTRONIC 3.5" (DIVX) / 2X TDT INTEGRADO / GRABADOR / FULL HD / RJ45. Éste tiene muy buena pinta, pero sigo sin saber si es posible grabar la señal del receptor satélite y endiñarle un pendrive con una peli en .avi.