I shot some video with my mavic pro in 4k/30. I edited it down to a 42 second clip added some music and rendered it out in 4k then again in 1080. The 4k file size is 316 mb and the HD file is 313 mb. i thought the file sizes would be significantly larger on the 4k but its only 3mb larger. Does this make sense?