Buenas abril1965, a ver si te puedo responder alguna de las preguntas con mis humildes conocimientos.

- En cuanto a el tipo de "tiro" en sala dedicada te diría sin dudarlo que de tiro normal, en un salón puede que un ultracorto laser te dé más lúmens al estar más cerca. Aunque no creo que puedas pasar de 120" con un ultracorto.
- En cuanto a los lúmens pues si, unos 2500 para uno de tiro normal, intuyo que en un ultracorto la cosa irá igual, cuanto más mejor a no ser que puedas oscurecer la sala a tu antojo, cosa que no suele ser así y si hay una simple lamparita encendida en el salón ya se va todo al traste.
- En cuanto al tipo de proyección creo que confundes dos temas diferentes, uno es el tipo de fuente de luz (lámpara, LED o láser) y otra cosa la tecnología de proyección (DLP, LCD, LCoS) todas con sus ventajas e inconvenientes, la última suele ser mejor al ser un hibrido de las dos primeras, de hecho D-ILA y SXRD son los nombres que les dan a esta tecnología JVC y Sony respectivamente.
- Si te piensas comprar un proyector de 5000€, generalmente suelen ser proyectores "puros", sin smart tv integrada, no altavoces ni bluetooth ni demás "accesorios" que muchas veces llevan proyectores más económicos pensados para llevarte a casa de un colega para ver el partido de la semana. Así que para poder ver plataformas en streaming, TDT etc, necesitarías un reproductor multimedia o similar conectado al receptor AV. Aunque si te decantas por un ultracorto, esos sí suelen llevar smart tv integrada.
- En cuanto a los archivos directos desde USB, lo mismo que en párrafo anterior.
- Dentro de tu presupuesto tienes varias opciones, el Epson LS-12000 tiene excelentes críticas por su relación calidad precio, a pesar de no ser 4K nativo, en cuanto a ultracorto tienes el samsung SP-LSP9T que también pintan muy bien, llegarías a las 130" y tiene pinta de ser un pepino.
https://www.whathifi.com/reviews/sam...hrow-projector

- Con esta herramienta puedes calcular el tamaño/distancia de proyección metiendo marca y modelo del proye, muy intuitivo.
https://www.projectorcentral.com/pro...ulator-pro.cfm

ejemplo: con el Epson LS12000 desde 5m llegarías a las 167".

- en cuanto a la pantalla opino igual, un ALR sería lo mejor para un salón no dedicado.
- en cuanto al receptor, si tiene muchos años alomejor te interesa guardar algo de esos 5mil y cambiarlo por uno más moderno que te soporte todos los formatos que quieres reproducir.

Y básicamente esta sería mi humilde opinión. Ánimo con la decisión que nunca es tarea fácil.

Un saludo!