I recently bought a PS3, and thus needed an HDMI switch to switch between my 9242 PVR and the PS3. I bought the monoPrice HDX-401E and it works with the PS3, but not the PVR. I tried changing the output format (1080i, 720p, 480p, 4x3, 16x9 etc), but nothing helped.

Anyone else have this problem?

Anyone else using an HDMI switch with their 9242? What brand/model?

Thanks