UPDATE:

I have found a program to export my phone movies to different formats. While the files play just fine on my computer, it seems that they don't work for anyone else. So you'll find new .mp4 files by clicking on the links in the original post. If you need or want another file format, go download a free converter and do it yo'self. Peace.