Fun thread, Pete. It made me go out and look at options.
I found this site that's pretty good about helping you calculate how much time between pictures. I think you're in the right ballpark with 5 seconds. With 10000 frames, that's about a 3-minute clip at 30fps.
http://www.all-things-photography.com/time-lapse-photography.html
BTW, sounds like Pete has the software covered, but if anyone is looking for a good way to do time lapse from a series of photos with free software, FFmpeg is a good way to go. The linux users among us will have it easiest, but here's how you would do it on windows (probably not for the technophobes, but are there many on this site?):
-install winff binary: http://winff.org/html_new/downloads.html
-export your images at the size you need and name them something with a sequential numbering scheme (like frame_00001.jpg, frame_00002.jpg, etc.)
-copy all those frames into the C:\Program Files\WinFF directory
-open a command line window (go to start>all programs>accessories>run, type cmd in the Open: field)
-go to the winff directory (type "cd C:\Program Files\WinFF")
-Type this code into the command line (or copy and paste):
ffmpeg.exe -r 15 -i frame_%5d.jpg -vcodec copy "C:\Users\Jonny\Documents\videoname.avi"
here are what the flags mean:
-r: framerate (15fps in this case)
-i: input (this will take all files named frame_NNNNN.jpg where NNNNN is a 5-digit number, hence %5d)
-vcodec: codec you want it to use (copy means motion jpg, a lot like the Nikon d-movie)
Change the path and video name so it ends up wherever you want—I assume you don't have a username of Jonny, but what do I know? ;-)
I tried it with a 143-shot sequence that I took during a meteor shower (I still don't know how to capture meteors, but the way I did it obviously didn't work). I cropped in lightroom to 16:9, then exported at 1920x1080 (1080p) and rendered it at 24 fps. It took about three seconds to render. If I had a long clip I would probably edit the avi in Vegas or whatever you like to use for video (or check out the other codecs that are available in ffmpeg, which is basically all of them). Here's the finished product—sorry it's 32MB and slightly boring, but I was just proving the concept. I'll have to try it on something more interesting sometime. Download HD time lapse video demo
BTW, that WinFF is a nice little front end for FFmpeg. It will convert video for ipod touch/iphone. I tried it out and it looks great.