Originally Posted by Jim_Gunn

Smart Video Converter is one shareware app that can convert WMV to AVI. I forget if it can batch a bunch of files though. Google it and see if there is a newer version than the old version I use and maybe it has that feature.