we have a new 52 inch HDTV w built in receiver...currently have TWC but thinking of switching to DIRECTV...my question is we have had TIVO brand TIVO for almost 2 yrs and LOVE IT!!! I would love to keep my TIVO brand TIVO but unsure if it would work w DIRECTV?? anyone know??? thanks!