Does any one have any idea what is going on with the local channels ( 5, 9, 12 and 19) in Cincinnati Ohio? They have been out for hours.