Nice advice! Another is to get a backup player like DivX player & also VLC which has built in codecs & is free & plays all but the odd wmv generic file: http://www.videolan.org/vlc/ (choose nearest mirror site)

Perhaps also see this: Setting Default video app