Tienes razón en todo salvo en lo del DAC,estos modelos llevan el mismo dsp y dac AKM 4458 desde los modelos de 2016/2017 que incluyen al sr6010/11/12/13 y denon x3300/400/500,incluso los modelos inferiores de denon como el x1400/500 y x2400/500 ya llevan ese combo dsp/dac,asi que las diferencias sonoras son minimas.Respecto a los módulos HDAM habría que hacer una prueba ciega a ver cuantos de aqui diferenciamos un denon de un marantz,comparten misma base,electrónica y software al 95% ósea gemelos,la estética es la mayor diferencia,si necesitas solo 7 canales el x3500h es tu avr,si necesitas 9 canales entonces el sr6012 es el adecuado.