“Is the TV tuner ATSC 3.0?”