I have nothing to substatiate this but I was looking at the NFL schedule for December and noticed that the Monday night game will be on channel 74. ESPN is on 73 right now so are they maybe going to add something like StarsHD at 72 and move everything else up one number? Or was it maybe just a typo, although it showed that for the entire month of Mondays.