There are lots of other Video/Flash download extensions for Firefox, like this one and many others...

I tried several before I found one I liked, actually this one: Download Flash and Video

I haven't used it for a while, so don't know if it still works.

Anahata