Pues como te dicen por ahí son del mismo grupo, así que HK e Infinity van de la mano.
Pero si optas por otros, HK para mí es muy caro, de los que pones, en relación calidad precio, me quedo con el pioneer 920, con el problema de no hacer pass through en standby.
Si eres más purista vete a por el denon avr 1911, no tiene reescalado de entradas hdmi, pero no creo que te haga falta.

saludos