Here is small tip for converting TX1 avi's to smaller size and more compatible, but still keeping it HD.
I have seen that many have been asking about converting TX1 (MJpeg) avi's to more convinient format.
My favorite is Windows Movie Maker, which is compressing files quite a lot and still keeping the resolution 1280x720.
Here is one web page I found that helped me to configure Movie Maker to create HD videos
http://www.papajohn.org/I think in Windows Vista this HD encoding output is builtin, but older Winodwses have to be configured with WMV9 codec and profile editor.
Happy Movie making...
