I am just curious , how many channels are you able to get using OTA. Could you not stream off the internet using an htpc.? The box you linked to seems to be able to do what you want but it pretty expensive but OTOH a cable box rental for one yr is about the same.

FWIW you can get a TiVo premiere on ebay with lifetime service , may be worth a look.

DOG is GOD spelled backwards.
What others think of me is none of my business.
M80 V3 MY GLOSS Cherry