Those are for 5K machines, I bet? Bought a cheap "backup" TV (Insignia) and can't get it to respond to any 4K codes. Then tried Dynex which listed ReplayTV compatibility, but again I think only for 5K. 4K has just 2-digit codes, so I think I tried them exhaustively. Maybe 4Ks are just incompatible with "modern" TVs? I've been meaning to try what brobin did and bring my remote in with me to test before buying.