Okay, just called him. His Sats are 77, 72, and 61.5 None of them have a red x. He also told me the only way he can bring up channel 401 on the guide is to make sure its set for all channels. If he sets it to My HD Channels it does not list channel 401.
Thanks again