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, ...