Gracias jarinin,
el tema es que si no me equivoco, el x1500 no reescala 4k.
He estado viendo y tendría que irme al Denon avr-x2500. Lo he visto en amazon.de y sale por 100 euros menos que en amazon.es... unos 409 euros puesto en casa, creo que era... a ver si alguien tiene opinión de este modelo...