I just came across a new media player called VLC media player for windows. From what I read, it is suppose to be better than windows media player. Has anyone ever used this? Is it worth downloading and using as my primary media player?