The Dish Network User's Resource
The Model 4000 is the first Dish receiver to have event timers.
It responds only to UHF remotes, see Mods Page for the link to add an IR sensor.
There are few complaints about the receiver today. These bug reports are several years old.