You can find a Quicktime version here...
http://robotics.nasa.gov/first/2005/kickoff.htm
With that, a video-editing software program (Such as Adobe Premiere, Windows Movie Maker, or Final Cut), and a IEEE-1394 (iLink, Firewire) capable computer and camera, you can export the movie clip into your camera. If you have all of that, here is how you do it:
1) Download the Quicktime large version off the link above. (it is in a table close to the bottom of the page)
2) Import the file to your video editing software package. If your video was compiled using this software, you can just dump the animation in front of that other video.
3) Connect your camera to the computer using the IEEE-1394 connection.
4) Turn your camera on to the VCT mode (most are still marked VCR... it is the setting where you can play-back footage, not record).
5) Slap a tape in the camera and seek to the desired portion you'd like to record onto. If it is at the beginning, be sure to let about 3sec run before you start recording to make sure there isn't something strange at the beginning of the tape.
6) Sometimes there is an option in your software that will enable you to just 'export to DV tape' and the computer takes control of your camera. If not, press the play and record button at the same time on your camera, and export the video from the software at the same time.
7) After that is done, you have your video on your camera. You can now plug the camera into a VCR and record onto a VHS directly from the camera.
Hope that helps. If you have questions about the procedure, drop me a PM and we'll work it out!
<EDIT> you can also use the WMV version referenced previously. Some video editing suites are a little snobby when it comes to editing the opposing platform's prime compression type. (Windows-based editors don't like Quicktime, and MAC-based editors don't like WMV) If you use the WMV version, you'll have to cut down the A/V stream to just the part you want. Or, you could send Dave Lavery an E-mail and see if he still has the raw animation to render you a .avi file instead of a .mov.