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 :wtf 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 :D ) 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... :cuniao Por cierto, la pantalla de la sala dedicada es pared pintada con la mítica fórmula Enigmax :agradable

Gracias!!