I think I remember that metrocast was the cable provider for the dorms and what not on campus. that correct? Also, for those of you who just bring a tv to tailgate- what channels can you pick up in the junction with just a digital reciever?