NBC and CBS use 1080x1920 but I agree 4k is overkill, especially since it looks like he has a $60 budget and he’d need a hundred dollar memory card to be big and fast enough to be useful for 4k.
Funny thing, you can do some basic video editing on 1080p video on a $200 phone.
Yes, I have edited 1080p on my phone too, but it is limited. I use a high end graphics desk top for all other editing.