So thanks to ATSC 3.0, it turns out that over-the-air 4K TV is a thing, and is even supported by NBC and CBS in Austin. Given the NBC has the Super Bowl this year, I am tempted to upgrade my TV to one that supports ATSC 3.0. https://www.atsc.org/news/major-broadcasters-launch-nextgen-tv-on-four-local-television-stations-in-austin-tx/