De esos el único que cumple con lo que pides es el 3800 que usa el chipset 1185 que soporta ISO de BD y DTSHD. Yo me esperaría al que lleve el 1186 con soporte de 3D, subtitulos mejorados y aplicaciones ANDROID.

Otro es el WDTV Live con sigma 8654.