Para ser tu primer proyector, si que tienes presupuesto! Todos los proyectores que has mencionado son muy buenos, en especial el Mitsu y el Optoma, sin embargo tienen una pega y es que no traen lens shift, importante si lo quieres poner en el techo, creo que desde esa distancia lo necesitas si o si. En ese rango de precio y con lens shift tienes el Benq W6000, este por lo que leido tienen muy buenas opiniones en revistas especializadas (hay creo una opinion en projectorreviews). Tambien es un poco mas luminoso que el resto, que desde esa distancia no viene nada mal.