Can someone please tell me what the STAR ID is for Gainesville, FL? My cable company DOES NOT show it at the top of the hour. Thanks!!! By the way the Cable Company is Altitude Communications based out of Valdosta, GA. But the local head end is in High Springs, FL