I've heard of (and even sometimes used) video players like VLC when Windows Media Player prompts me to download "new codecs", but I've also heard people talk about codec packs like K-Lite, Shark007, ...
If you receive an error message – Windows Media Player encountered a problem while playing the file, when you try to play AVI, WAV, MOV, etc., you need to install ...