I wouldn't attempt to modify a $1000+ remote, but there might be a solution available. Dave Houston has posted info on building an RF2RF converter or perhaps an IR2RF converter. You'd have to find out what the frequency of your sat receiver is, which can be done with using the FCC ID #.
I'm no expert on this, but you could contact Dave at
[email protected]. Here's some info from his site:
[Link: laser.com].
Jim L