well yeah the factor here is time, although this info sure comes handy to know which is best to do more stuff.

the gif in fact is over 3 minutes long, even more if i have more time
i would not want to make a vid of just a few seconds, like 5, much like those Source Film maker type loops, but sure i could if it longer than 1 minute, if i dont have a looped gif of a certain part.

So a video would be usefull indeed, thanks a lot :3