Dish provided local channels for an extra $5 a month.