tip: great (free) converter from avi to other video formats

[robocat]

MediaCoder http://mediacoder.sourceforge.net/ is an open source windows program. It looks a bit daunting at first, but it has some great features, and has worked really well for me.

Go to the picture tab and change the frame rate to 30 frames/second before doing any conversions so that it matches the frame rate of the TX1 avi file (the program defaults to 25).

It remembers your settings - if you change something and cant remember how to get back, you can use "Revert all settings" from the file menu.  However you would then need to reenter all settings you care about (e.g. output format, setting frame rate to 30!).

[ribault]

Mediacoder is good. 

I'm also very impressed with the excellent free program FAVC, which creates DVDs out of any kind of video file.  For many projects, I just use FAVC instead of other conversion and authoring programs.  It works great for TX1 videos and captured HDTV programs.

[robocat]

I have also had success with using VLC http://www.videolan.org/vlc/ to do format conversions, however I find the user interface is quite unintuitive - it isn't obvious how to do it. However, last time I used VLC, I did need to fix the avi file index first using divfix++ (http://forums.powershot-tx1.com/index.php?topic=143.0) which just appends the missing index data to the avi (without touching the video or audio data).

Also see this thread for other recommendations: http://forums.powershot-tx1.com/index.php?topic=98.0