Del 4K olvídate por el momento, para 2 o 3 años por lo menos saldrán proyectores ( y contenido ) para 4K al alcance por unos 2000 € aprox, por el momento es prohibitivo.

El HD28DSE está bien lo que lleva es un procesador especial de imagen que realza más el contenido que se proyecta , pero por lo que comentas más arriba que tiene un tragaluz yo elegiría el HD36 que tiene mejor lente y más luminosidad que el HD50.