The first nationally available 4K television programming in the U.S. will be coming via satellite from DISH Network. Or that’s the plan. The DBS company introduced its *4K Joey* set top box at CES this morning. No programming announcements were made, though. That’ll wait until the 4K STB is actually available in the second quarter of 2015.