Ya se que es otra marca, pero igual te puede interesar el Denon AVR-X1200 que anda por los 352€ en amazon, con su última actualización ya soporte dtsX (hay un hilo por aquí al respecto).