Buenas! Yo tenia entendido que si el deco cogia los canales dvb-s2 podia coger ya en formato 4k quando hubiese, no es asi? Asi cuales son los modelos que son compatibles con 4k? Gracias!