I had something on my old laptop that made Windows Media Player play AVI files but I don't remember what it was. Now I have a new desktop computer and I'm trying to figure out how I can make it play AVI files. Is there some codecs or something I can get to make it play AVI?