Great videos.
I had trouble installing them as I didn't see an button in launchbox like this. I got to the options screen in launchbox, but there's no platform video download tool unless I missed it somewhere.
LaunchBox > Option > Platform Video Downloader Tools > Select "Colorful 4K"
So I just used FTP. When I downloaded the HD versions of the mp4s to \LaunchBox\Themes\COLORFUL\Videos\Platforms, then I noticed all the mp4 weren't playing so I read the readme which says they have to be named correctly. So I had to rename them all. Here's the batch file I used:
https://pastebin.com/raw/phHJwPiA
Then it worked