I have a .avi file from a windows machine that I need to play on a mac (school needs). On the Mac, I have Quick Time and Windows Media Player for Mac OSX. Apparently, neither of these media players will play .avi files. Any thoughts? Any conversion utilities?