My dad just got a new HD television. He lives in the Washington, DC market. My question is, if he were to buy an HD Tivo would he get access to the East Coast HD channels on 80,82,86 & 88. I'm not sure if this still applies since this market is available in MPEG4. He doesn't want to go the...