Tema: Actualizar sala dedicada después de 10 años...

Buenas, foreros y amantes de estas salas que nos dan tantas alegrías!

Quiero actualizar esta sala que publiqué en su día:
https://www.mundodvd.com/sala-dedica...3-fotos-74468/
El proyector sigue siendo un Mitsubishi 3200 y el receptor A/V un Onkyo 5.1. Pues bien, compré hace poco un ordenador Alienware bastante potente y tengo también la Playstation4 (en un futuro la 5 ) y el Apple TV con Plex y un montón de pelis 1080p y 4K.

Bueno me gustaría que me orientárais con vistas a renovar la sala para principios de septiembre pero ya tener todo preguntado y decidido:
1. Con respecto al proyector, quiero pasarme a las 4K. He leído y releído los hilos de este foro y, teniendo en cuenta que tendría un gasto tope/alrededor de 3000€, he visto estas tres opciones:
-Benq w5700
-Epson tw9400
-Optoma UHZ65
- Acer VL7860 (más caro)
Teniendo en cuenta que lo quiero para:
-Ver pelis en 4K y 1080p con el Apple TV (Plex) y en ps5
-Jugar en PC a "tope" de gráficos
-Jugar a ps4 y en el futuro a ps5
¿Cuál me recomendáis?
2. Cambiar el Onkyo a alguno 4K "normalito" pero que sea 7.1 o superior. Hay que tener en cuenta que la sala es de 25m2 y no necesitaré tanta potencia. ¿Sugerencias?

PD: Ah, tengo también en otro sitio un Benq w1070+ que pondré en un dormitorio. Pero eso, ya es otra historia... Por cierto, la pantalla de la sala dedicada es pared pintada con la mítica fórmula Enigmax

Gracias!!

Bueno, se adelanta la cosa! La semana que viene podría estar ya trabajando en la sala!
Alguna idea???