I have a TV with one HDMI port and I use DirecTv and I have a PS3. I have been manually switching the HDMI cables when I want to play the PS3. Is there a "splitter" or other device on the market that I can plug them both into so I do not have to mess with cables?