TiVo remote addresses with Harmony remote

I needed to setup my Harmony remote to be able to control both the TiVo Series3 and the DIRECTV HD DVR.  I thought that there was a setting in in the Harmony interface, but I couldn't find it.  Here is the way that I was able to get this to work:

1. Configure the remotes and TiVo for seperate remote addresses.


2. In the Harmony remote application, click on the Settings for one of the TiVos.


3. Select the "Confirm infrared commands" option.


4. Follow the instructructions.


5. Do the same for the other.