I doubt that. Star Trek is on MeTV. MeTV affiliates are broadcast over the air and carried on local cable systems, which have nothing to do with ATSC 3.0. Plus, broadcasters don't have to use 3.0 for mpeg4 video compression. They can use it in existing 1.0 transport streams, and boxes like the Tivo HD and Premiere will be able to decode it.