Not enough options
I wanted this for exporting to WMV. The only way I could figure out how to do it through this applications device paradigm was selecting Windows 7 phone, the quality of the encode was terrible. Theres no advanced settings to speak of in terms of codec / quality selection. I got Easy Video converter instead for $3.99 and it did the trick flawlessly.
Maxputer about
AnyVideo Converter HD, v2.1