Is there anyone out there with a Denon AVR4306 hooked up to a late model Samsung DLP TV and a DirecTV DVR H10-250

I'm looking to buy a HDMI switching Denon receiver and want to make sure it will work properly.

Thanks

Jeff