Just curious about relative file sizes of the video formats available on the Mavic Air 2. Trying to find a reason not to use 4K/30 HDR all the time.