It doesn't matter whether TiVo wants to work with OTA tuners. As long as TiVo has an IR code to control the channel changing of the Samsung box, then I am all set. I understand it may be difficult to change to sub-channels like 2-1, 31-3,etc. But I just need to be able to change the main channels, such as 2,4,7, etc. Right now, I have to check TiVo's to do list and then use the scheduling feature of the Samsung box to match the schedule. It works well but I have to do it every night.
It isn't that difficult for TiVo to add a new code to support a new STB, is it?