I've got a lot of videos that were created on a PC using Adobe Premiere a long time ago. They're all AVI files which won't play on my mac. I'm hoping I'll be able to find whatever codec they're using, but first I need to figure out what codec that is. How can I figure that out?