We need to convert a number of videos, mainly avi and wmv, into flv. I found OJOsoft Total Video Converter, but wondering if there are other/better tools someone could recommend.

It's not that expensiv to give it a try and looks like it does the job, but it would be a pity to learn later that for only a few $$ more we could have had something more professional (if there is any). Any pointers would be much appreciated.