Our vehicle comes with a hand-cranked roof antenna for the TV. We haven't tried it, but I'm assuming with the advent of digital TV it would have pretty limited use, and anyway we don't watch a lot of TV and would probably either watch DVDs or stream when we have internet. Has anyone removed these things? Wondering how easy it is, how to remove the cable and how to seal the hole afterward? Thinking I would get a (slight) mileage benefit by removing the thing, which sticks up pretty high on the roof (athough, granted, the fan hatch would still be there, but it is a much smaller profile). Also can imagine driving off with the antenna extended -- that might not go over so well!