Por 1700 tienes el Zensor 3 Cinema Pack con AV Denon X2300 compatible con Atmos.

https://www.stylesound.com/denon/avr...-3-cinema-pack

Sí buscas más y pides precio a varias tiendas igual lo bajas un poco más.

Por otra parte, en Amazon USA yo he comprado unos PolkAudio Omw 3 para el techo, por 120 eur todo incluido.

Con estas opciones lo tendrías hecho por unos 1800 euros.

Mirate bien la recomendación de Dolby para una configuración 5.1.2, los dos altavoces atmos han de ir en el techo apuntando para abajo, así les pondré yo.