Has anyone been able to get this to work with a DishNetwork HD receiver and change the channel? I am looking for a HOWTO, or a script to use the USB port IR transmitter. Thanks -- Sergio