Exacto, yo en su momento utilice el otro AVR que tenia antes de adquirir el Denon, realmente no merece la pena ir a por uno que amplifique 11 canales por que se van de precio, una solución es un AVR de segunda mano, aunque sea un 5.1, por menos de 200€ los encontraras, no necesitas que sea potente por que al menos en mi caso amplificaba los otros 2 canales de Atmos, al final me quede solo con 2 Atmos en vez de 4 pero si te merece la pena poner 4 quizás la opción mas económica sea otro AVR, también esta la opción de etapas que seguro que algunos te comentaran, pero yo en mi caso descarte lo de AVR por que se van muchísimo de precio.