En esta situación, el Pana, lleva el mismo grupo óptico que el Epson 9200, más lúmenes que el Sony, y más barato que los que tienes mencionado.

Una cosa, porque no miras un DLP, tienes problemas con el efecto arcoiris? Con un presupuesto de 1000-1200€, puedes pillar un proyector nuevo, que te vaya muy bien en tus condiciones.