si tiene HDMI hay algunos TDT de Blusens con dicha salida, recuerdo haberlos visto en PCcity, si no es caro puede ser una buena opcion, y seguro te permite grabar la TV TDT a un USBpen o un HD externo usb como si fuese un video.
Ahora que si quieres ademas que admita la TDT de alta definicion (h264 1080i) el precio se dispara bastante y las opciones se reducen a unos pocos TDT. (hay pocos con salida HDMI y menos con sintonizador para h264)