Entiendo que los 4000/5000 son tv aparte,
Luego tienes que saber que configuración quieres, lo mas básico es un 5.1, lo ideal teniendo presupuesto y libertad de ubicación es un 7.2.4 donde 7 son los altavoces de suelo, 2 los SW y 4 los altavoces techo
https://www.supersonido.es/c/paquetes-completos-51-50
https://www.supersonido.es/p/denon-avc-x6500h