It could be anything in the chain that causes the content to not actually be 4k: cameras, switching system and feed to it, the output of the board, or the feed to the remote truck that is sending it to the satellite that is distributing it to broadcaster. The switching boards of many companies...