I thought of that too, but QT Player 6.5.1 doesn't have an Export command.
I was able to get a working print by feeding my movie through iMovie, but
the results weren't very satisfactory; it dropped every second frame,
regardless of the codec I used.
