I've been able to convert some of those RC5 codes into "learned" 0000 codes that the harmony web page recognizes and converts successfully:

Vid3:

0000 0073 0000 000C 0020 0020 0040 0020 0020 0020 0020 0020 0020 0020 0020 0020 0020 0040 0020 0020 0020 0020 0040 0020 0020 0040 0020 09B7

Power Off:

0000 0073 0000 000B 0020 0020 0040 0020 0020 0020 0020 0020 0020 0020 0020 0020 0020 0040 0040 0020 0020 0020 0020 0040 0040 09B7

Power On:

0000 0073 0000 000C 0020 0020 0040 0020 0020 0020 0020 0020 0020 0020 0020 0020 0020 0020 0020 0040 0020 0020 0020 0020 0020 0020 0040 09B7

All of the other ones are too long for valid RC5 codes and look more like they should be RC5x codes. I will replace the 5000 in each of them with 5001 and try to convert them for you. I'll post another reply if that works.

Please let me know if the three codes above work on your TV!