2htdp/image includes save-image, a built-in way to easily export an image to disk. Is there a comparably easy way to save a movie that you'd produce with the run-movie function?
You probably want to rewrite your animation using
big-bang and use the
Not a movie but
big-bang has a clause called
record?, which generates an animated gif (and all scenes) of an animation in a directory.