@djmoss Using some light google-fu, I managed to find this one:
Although it doesn't have the game characters in it. There's a download link in the comments somewhere, so maybe it can hold you over until you find the actual one you want.
There isn't a configuration setting for that. If you want a certain splashscreen to run only once, then you'll have to run a script on first boot that will switch the video files - same name, different files.