Problema proyector para exterior

Hola a todos, por lo que he podido leer hay gente que domina bastante el tema por aqui y no he encontrado nada que me sea de gran utilidad, asi que voy a exponer mi problema.
Somos una asociacion y me han encargado buscar un proyector para ver pelis calidad Dvix y demas cositas, el problema es que tengo que hacer los pases en dos ambientes, el peor, un patio exterior de unos 500m2, donde hay que hacer proyecciones para crios por la tarde y para adultos por la noche (tiene un par de farolas de luz ambiental) la distancia de proyeccion puede variar de 4 a 10 metros, el mejor una sala interior de 100m2 donde hay que hacer proyecciones para crios por la tarde (donde salvo una puerta de cristal con una veneciana el resto de ventanas se cierran todas)y para adultos por la noche la distancia de proyeccion puede variar de 2 a 5 metros.
Mis necesidades son que tenga entrada de HDMI y salida de audio RCA o mini Jack de 3.5" y disponga de hasta unos 1500€ de presupuesto.
Los aparatos por los que me he decantado son:
LUM. CONTR. RESOL. PULGADAS DIST.DE PRECIO
OPTOMA
EX762 4000 3000-1 XGA 30.79” - 369.43” 1,2- 12 METROS 900-1100€

EX779 4500 3000-1 XGA 28.01” - 328.38” 1,2- 12 METROS 1300-1500€


MITSUBISHI
WD620U 4000 2000-1 WXGA 40" - 300" 1,8- 11,8 METROS 1200-1400€

WD600U 4500 2000-1 XGA 40" - 300" 1,7- 10.9 METROS 1200-1300€

Me han comentado que no es necesario tantos lumens que con unos 3000 habria suficente y me podria ahorrar un dinerillo, que se podria quedar en unos 500 a 700€.
Mi pregunta es, eso cierto y que me recomendariais vosotros. Espero haber sido bastante explicito, cualquier duda no dudeis en remitirmela. Gracias de todas formas y lo siento por la brasa que he puesto. Un saludo