There is generally a pretty big difference in file size from 4K to 1080 to 720... but is the actual difference that much?