Another method to shoot 4K for 2K is to have the camera downcovert the signal over HDMI. It seems the HDMI scaling algorithm is way better than the line skipping algorithm they use on sensor. As such you get a sharper 1080p 10-bit 4:2:2 straight out of camera if you use 4K downcovert over HDMI. Downsides are the 2.3x crop and the 30fps limit, plus you lose the ability to possibly punch-in in post. Upsides are the noticeably increased sharpness and less noticeable noise pattern. And this way you skip having to downconvert it in post, which can help a lot with storage (4K 10-bit 4:2:2 files gobble up a lot of space, especially if you intend to output to 1080 anyways).