FYI: If you are just looking for video switching I picked up the 5x1 HDMI switcher from Monoprice recently and hooked it up to a DirecTV HD DVR and a Oppo DVD player and it had no problems at all switching them. I had heard that the specific DirecTV model in use had some issues when hooked up to certain receivers... sometimes. So, I can't say with any definitive assurance that this switcher does a better job, but it may avoid HDCP altogether since it doesn't need to manipulate the signal.
Under 150 bucks for 5 HDMI sources to be switched? Not a bad price for sure!