Yo estuve hace un tiempo en la misma situación y me acabé comprando un Marantz. El resultado, os lo digo por propia experiencia, es que no vais a apreciar nada en el escalado, las propias teles ya escalan razonablemente bien (sobre todo lo que generalmente vemos que la resolución es de por sí bastante baja y pocas maravillas se pueden hacer por muy bueno que sea el escalado, que es la tdt) como para necesitar una fuente adicional. Además, el escalado nunca se va a parecer al contenido nativo en 4k (yo estaba convencido que escalando se vería "parecido" y para nada, ahora os digo que no sé si sería capaz de diferenciar contenido escalado por la tele o por otra fuente a 4k). Y os hablo habiéndolo probado a través del AVR y a través de un Oppo, no veo que mejoren sensiblemente las imágenes al escalarlo (en el Oppo ligeramente). Lo que sí os recomiendo es que las entradas hdmi del receptor sean 2.0 porque la versión anterior hdmi solo soporta 4k a 30 hz máximo. En resumen, que lamentablemente el tema del 4k no es algo que vayáis a apreciar. Está bien que pase la señal por si dentro de unos años empiezan a emitir por algún sitio algo en esta definición (yo hasta ahora sólo lo he podido apreciar a través de YouTube conectando el portátil a través de hdmi y seleccionando vídeos con esa resolución porque ni siquiera la aplicación de YouTube de estas teles soporta 4k).

Espero haber podido ayudar.