Sorry pal, no file names.....
As for your codecs issue,.....use the free VLC player with built-in codecs, which can paly almost all files without problems. I haven't had any file so far it couldn't play. And it has never asked me for any license. You can download it from here:
http://www.videolan.org/vlc/ 