I'd call them on Friday but the people at the front desk never know what's on their cable packages and seem pretty clueless when I've asked in previous years. Does anyone know by chance?