My second problem with this (excellent) machine.
Is there no way of the HDMI auto selecting the machine as the source when powered on?
Two of my PS3's do this with samsung and LG TVs and since scart leads always did this with my VHS and DVD players, I miss the convenience.