First of all, this might not be the best forum to ask about AVI files you downloaded. ;)
But before this thread gets deleted I'll try to offer some advice. Try to identify the codec used in the AVI. There is a program called Gspot that is pretty good with identifying codecs. If you can't figure it out I would ask how to play the files from your "buddy."