They open in QuickTime Player, but won't play because the "required compressor could not be found." I was thinking they might be DiVX, but even the DiVX decoder can't recognize them. I'm sure these are good files, another OT sent me them. What do I need to do with these to watch them? I've never been able to open AVI files, it's just never been important until now.