It may be known, but I have been able to get the cinema7 to control two different dish network recievers. Dish net receivers can be assigned 16 different remote addresses when using the original remote but the 0775 code only send address #1. What I have found is that the EFC codes for address #1 work for address #2 if you add 16 to them. IE for down the default efc is 209, for address #2 use 225. Probably true for other addresses also (may be other factor of 8).

This has helped me out a bunch.

Original Remote Functions for default address #1

017 Right/Browse
145 Left/Theme
209 Down
081 Up
016 Select
080 Cancel
144 Guide
018 Info
051 Menu
049 Recall
208 View
082 Power
176 TV/VCR or SD/HD
177 Record
240 0
146 1
114 2
210 3
019 4
243 5
083 6
147 7
115 8
211 9
178 Page Down
179 Page Up
110 *
206 #
142 System Info
237 PTV Menu
236 REW
172 Skip Ahead
076 FFWD
204 Skip Back
177 Record
050 Play
238 Stop
014 Pause