AT&T has a satellite-TV reception problem