Philips dcr 9000 + Denon Avr

hallo,
Ich betreibe den oben genannte Philipskabelreceiver der per hdmi an meinemTv angeschlossen ist....soweit so gut.
Ich bin z.zt am überlegen welcher neue Avr bei mir einzug halten soll und bin erstmal beim Denon 3808 o.ä. gelandet. Da ich den AVR auch als Umschaltzentral nutzen möchte und ich schon des öfteren gelesen habe, dass es wohl Probleme z.b. bei premiere hd geben soll, stellt sich mir die Frage ob das bei Denon auch so ist.
meine Frage wäre also ob Problem bekannt sind in Verbindung Philips/ Denon?
Bin auch daran interessiert zu erfahren bei welcher Gerätekombination es "scheinbar" keine Probleme gibt.
Will ja nicht was kaufen was nachher garnicht oder nur teilweise funktioniert.
mfg
renato