What’s the file format of the animation? It’s usually not too hard to achieve these kinds of tasks with a shell script. I could have a go at doing writing one for you if you’re comfortable sharing the file?
Edit: Just saw you said you had all the individual frames as images. I think I already have a script I wrote to join these. Let me dig it out for you.
