According to this thread:
[Link: dbstalk.com] (which references back to Remote Central) the codes are the same as previous Dish receivers. They're also pasted into that thread as OBC, which match precisely the codes above posted by KVH.
Protocol: Dish, Device: 0
OBC:
Red 19
Green 53
Yellow 34
Blue 35