I bought a TS-1000 to learn codes that I need for my tivo. I need "long" hex codes that start with 0000 but all I can get from my pronto are the following short codes:

Funtion
0[C] RawCode("Learned","5000 0073 0000 0001 000f 0024")
1[C] RawCode("Learned","5000 0073 0000 0001 000f 0004")
2[C] RawCode("Learned","5000 0073 0000 0001 000f 0038")
3[C] RawCode("Learned","5000 0073 0000 0001 000f 0020")
4[C] RawCode("Learned","5000 0073 0000 0001 000f 0010")
5[C] RawCode("Learned","5000 0073 0000 0001 000f 0030")
6[C] RawCode("Learned","5000 0073 0000 0001 000f 0008")
7[C] RawCode("Learned","5000 0073 0000 0001 000f 0028")
8[C] RawCode("Learned","5000 0073 0000 0001 000f 0018")
9[C] RawCode("Learned","5000 0073 0000 0001 000f 0000")

I think I need to use Make hex with protocol rc5 but how do I find the correct device id?