Hi I have a Samsung 856 and Onkyo 876 connected by HDMI. I have sky HD and PS3 connected to my amp via HDMI. The problem I have is it takes ages...5-10 sec to switch between sources on the amp eg switching from sky to PS3. The tv show a searching for input message, then shows the format eg 1080i and then eventually the picture kicks in. Its not the end of the world, but its a bit clunky, especially when switching quite often. Is there any resolution to this?