To complete the previous post, here’s a video of one of the first launches.
Of course, nothing is completely easy. This had been filmed vertically (rotated camera), so I used QuickTime Pro to un-rotate the original .avi file and save as a .mov. Looked fine, uploaded to YouTube, but the resulting video was in the original (unrotated) format – looks like YouTube have a bug with handling that QuickTime movie attribute (see this question by somebody else who ran into the same problem).
So I exported it as a .avi file, which lost some quality but this time really “saved” the rotation.