Luckily, the problem now appears to be solved. With new IR codes, TiVo users can change channels and avoid having to choose between IPTV and their TiVo crack, er, I mean box. A writer on the U-verse Users site details the fix here.
If you’re not a U-verse user, but you’ve been having trouble with Tivo and your air conditioner, see the comments on this post. Or just wait until winter.