algun
se me ocurre también el Western Digital WD TV HD, que es un adaptador que convierte un disco duro externo por USB en un reproductor multimedia e incluye HDMI (y son 120 euros + el disco duro que elijas)
Esa es una muy buena opción, porque puedes aprovechar discos de tamaño 2,5", como los LaCie o los propios de WD. Siempre que no necesites que grabe, claro.
Saludos.
Philips 9632 + 5405 32" / PS3 60 + 320 Gb / NAD 325 BEE / SONY MDR-V7 / IPAD 2 16Gb + 64Gb / Google Galaxy Nexus / Kindle