is this person using Windows Media Player 11? that's the latest version, and that should play most codecs