Lead Developer
Honestly I don’t have a super obvious idea for doing it.
I assume you would need to use GP Hooks as PHP is required.
You’ll need to look at how to create HTML5 video backgrounds.
Then the random part will probably be the same as the images, where you define a number of different URLs (to the videos), and then apply the variable to the HTML5 video background code you find.