I copied the codes for a Dish DSS receiver from Discrete Infrared Hex Codes in the files section here to use with Girder and they worked, plus codes in the same format that I received for the different remote addresses on the Tivos.

The pasted hex codes for the Tivos worked much better than learning codes directly from the original remotes. As those codes were not available from the UEI database, I don't know if they worked better or not.