The files I'm downloading are too big for my internet connection. What can I do?

This should work for you:

https://www.maketecheasier.com/split-download-large-file-curl/

Chances are even if we unzipped it and put the videos in a Dropbox folder for you, the individual video files would be big. This way, you can download in as many parts as you need.