I made a video of it ages ago, Its just too big to put anywhere, as my camera records at 720x480 with a really high bitrate. The 6 min rolling demo was over a gig, so I deleted it.
The same programs people use to transcode movies to play on their gp2x can be used to lower the resolution and bitrate on any other video you might make.