Thanks, very useful. Searching further, it seems the .avi format can be read in both Mac and Windows formats. Can you recommend a good video conversion tool (if possible, free) ?