I ran em all throughout an AI to receive rid of all the compression and low light artifacts. I then encoded em into x265 to receive the files sizes down to less than half of the originals.

Format: mp4
Video: 1920x1080

Total size: 6.4 GB in 15 files.