and they should make sure the production company doesn't bother filming in 4K - because why bother.
They shouldn't bother filming in 4k.
They should film in 8k or higher so that shots can be cropped with no discernible loss of quality to the end product.