I often use VLC, Media Player Classic, MPlayer OSX Extended, and Plex. Sometimes Winamp, depending on how retro I'm feeling. The more the merrier, I figure, since occasional bugs or codec issues seem pretty much inescapable if you're relying on only one player.