Si , los 4K actualmente son muy voluminosos todavía. Mírate algún miniproyector de LG hay algunos como el PF50KS que no son muy grandes y los puedes poner relativamente sencillo para mirar al techo, no es 4K, pero FullHD LED está bien. Faltará tiempo para que salgan proyectores portátiles 4K