I down loaded this video and it says it was encoded in indeo but I've only found a windows intaller is it available on mac OSX, or can I jjust get a program that will encode it in something like DivX which I can play on quicktime. thanks for any help