What is going on with the channel numbers? I normally watch my local stations on channels in the 700s. But I recently noticed they are also in the 8000s series (4000s?) of numbers. Is there a difference? Are we supposed to migrate to the new channels? The only differenc appears to be the channel label (network and locality, vs. station call letters). I imagine someone here knows. Thanks.