У большинства проекторов вашей ценовой группы несколько HDMI.Крепления потолочные то-же в большинстве своем универсальные,для разных производителей.(смотрите там-же где и экраны,"розетка") Да,за вашу сумму ,выбор достаточный.Я бы сейчас смотрел в сторону BENQ 1070,около 10.000 гр.,3 года гарантии.Там правда 3D,а вдруг понравится.? Если из LCD смотреть ,то можно EH-TW3200( сейчас заругают).У него очень большой диапазон настройки,только надо хорошую цену искать,примерно 9000 гр,1.500$-он точно не стоит.Из DLP еще есть BENQ 1200 ,с Интерполяцией кадров,очень хвалят. Из оптом,Optoma HD33 ,очень достойный аппарат.