Thank you. It's amazing how much more knowledgeable people on this board are than the DISH tech support reps, one of whom just told me that there wasn't even a TV2 tuner in the 922. Clueless.
Anyways, I had already gotten the 32.0 remote to control TV2 by switching the tab at the bottom...