Oh, Mirage, you can get around that PS3 issue with an HDMI splitter...for some reason. I have no idea why that works, but it does.

Edit: Splitters are pretty cheap, too. About $20 - $25.