You assume wrong. You can buy an RF remote for TV1. The easiest would be to buy two and set them to different remote codes and put one in each room. Then each room would have a TV1 RF remote for the distant receiver and an IR remote for the local receiver.
My variation of this is that I leave my 622 in single user mode then just put the RF TV1 remote in my pocket and no matter what room I'm in if I turn on the TV I see Dish in HD.
Oh by the way. In one user mode the TV2 RF remote changes the HD signal since there is only one picture on all outputs of the 6/722. This is a way for you to see how the setup works for you before you spend the money on two RF TV1 remotes if needed.