I was just looking at the manual for the Denon X4000. For zone 2, it looks like it'll only do 2.0. It's got a stereo pre-out for zone 2, but no LPF for a sub. By extension, he'll have to run all Zone 2 speakers full range and use a sub's built-in LPF. That's up to him whether this is acceptable, though. Personally, if I'm running a sub, I'd like a high pass filter on my stereo speakers.
Anyway, biggest hurdle to overcome will be the Dish DVR I think. If I recall correctly, the remotes they use are RF-based, rather than IR. So something like a Harmony remote won't control a Dish. I found this out the hard way banging my head against a wall for a few hours trying to set up a Harmony for my parents. (I could be mistaken about this being a Dish thing. It might be DirecTV. I don't remember which service my parents have.) You might ought to verify this info before shopping for a remote.
Edit: Well, according to
this thread it's possible to enable IR on the Dish DVR. My parents have a second and third tuner in other rooms which required them to leave RF enabled though. That might've been what caused me grief. It's been a while since I messed with it, though.