Scratch what I said about the filenames. After I restarted my laptop, the files had regular .mp4 extensions. But ..... those MP4 files don't even open for me. So I don't know what the fuck is going on.
Get yourself a HTML5 video player script.
Video For Everybody Generator