Proyector para terraza [Sala NO dedicada]

Buenas, desde hace mucho tiempo tengo una sala dedicada con con una Samsung 950R 8K y un sistema 5.1 Infinity Classia. Esta seguirá siendo mi sala dedicada y en la que he invertido mi escaso dinero.

Tengo una terraza techada de 4x5m en el patio abierta a 2 paredes y me ha picado el gusanillo de poner u proyector. Ya tengo la pantalla de 120" eléctrica (una barata de Luxscreen) y he pillado unos Yamaha NS-AW 392 con un mini ampli bluetooth de Aiyima. Un conjunto barato porque lo quiero de batalla para las noches de verano.

Ahora tengo mil dudas con el proyector, no sé si pillarme un chino tipo Yaber k2s al no buscar nada de gama media/alta. O si por el contrario me recomendáis ir al mercado de ocasión a por un proyector que de ocasión o segunda mano me pueda costar lo mismo que el Yaber pero con prestaciones más "fiables". Lo quiero para instalarlo en el techo.

Mis prioridades son:

1: Lúmenes, al ser para terraza y que medio se vea no siendo de noche creo que es lo más importante.
2: Resolución
3: Autoenfoque y corrección digital.
4: Si tiene Linux o Android certificado mejor, si no siempre se puede poner uno externo...
5: Lo que menos me importa es el sonido, no lo quiero portátil ya que va a estar fijo y tengo sistema de audio.

Alguien me puede orientar? Gracias por vuestra sabiduría!

Buenas, es complicado lo que buscas, sobretodo para ver en horas de luz aunque sea escasa, para eso necesitaras uno con muchos lumenes y eso no es barato, si te pasas por mi sala veras que yo en mi casa en verano me monto el Optoma HD20 que fue mi primer proyector y para regalarlo me lo quede, lo uso en mi sala dedicada para ver los DVD, LD y algun VHS y en verano lo desmonto y monto en la terraza, es imposible verlo con luz aunque sea poca, solo en oscuridad, si ya hoy en dia con los que dicen que llevan 4000 lumenes en pruebas con algo de luz aunque se ven no son para nada disfrutables, al final estos proyectores son para Oscuridad, asi que ese es el planteamiento que debes hacer.

Cómo ya te han dicho, para el exterior necesita muchos lúmenes, con oscuridad puedes disfrutar cualquier proyector desde cualquier precio.

Ok, es más o menos lo que me temía. Gracias por vuestras respuestas!