Grab the .mov, and then use the RAD Video Tools to turn it into an AVI. If you intend to edit the files I suggest you get hold of Huffyuv (pretty good lossless AVI codec) and use that with uncompressed audio. If all you want is to watch them, then DivX or Indeo will do the trick for video and MP3 or ADPCM for the audio.