Dish receivers can do both RF and IR at the same time.
You have to go to system info.
Press and hold the sat button until lights on.
Press 1 then #.
TV 1 should display remote address 1.