A ver, trataré de darte mi opinión.
De los tres proyectores que has puesto habría que probar el H2 y el Polar que dicen qué, pese a declarar "sólo" 700 lumens, están muy bien aprovechados.
Si puedes subir de presupuesto, trata de ver algún proyector que maneje decentemente (ninguno es perfecto) el HDR.
Por el reproductor no te preocupes demasiado. Android es un pésimo SO para multimedia y puedes solucionar el tema con un reproductor apropiado más versátil por poco dinero. Aparte ten en cuenta que ésos Android quedarán desfasados en dos telediarios y no tengo muy claro que se actualicen o que se puedan actualizar. Es una característica que no vale la pena.

Lo mismo, 120" de pantalla es MUCHA pantalla. Si no tienes un proyector adecuado, la experiencia no será buena. Tampoco te pases de luminosidad porque los reflejos expurios te darán por saco.

También veo que el salón es muy clarito. Ésto te jugará en contra y, no sé porqué, se me hace que no podrás acondicionar adecuadamente.
Viendo ésto, yo eligiría una pantalla gris, tensionada y en soft PVC. No son fáciles de encontrar, pero ya sabes lo que se dice "con paciencia y saliva, el elefante..."
Olvídate de pantallas de retroproyeccion y cosas raras. No está tan complicado para colgar la pantalla detrás de ésa viga para que quede oculta. A lo sumo dos ménsulas y lo tienes solucionado. Dedica tu esfuerzo a encontrar la pantalla adecuada que no va a ser tarea fácil.

Aclararte un poco los conceptos: el KEYSTONE se refiere al paralelismo de la imagen. La posibilidad de corregir la forma trapezoidal con que se forma la imagen cuándo no está el proyector correctamente instalado. El Keyston puede ser vertical, horizontal o ambos. Cómo sea, el uso de keystone perjudica la imagen y se recomienda no usar más de uno o dos puntos si es indispensable.
El LENS SHIFT es la posibilidad de desplazar el grupo óptico. No afecta la calidad de la imagen. No suele ser demasiado. Usualmente en los equipos que lo llevan, se puede establecer en los dos ejes. Hay que enterarse muy bien de los valores porque los declarados por las marcas no aclaran si son desde el centro de la imagen o desde los bordes. Por suerte tú necesitas poco lens shift. Prefiere SIEMPRE éste a aquel.