I alway load VLC Player on friends PCs for watching various media files. It works with most stuff you'll encounter, including DVIX/XVID/MPEG4 encoded AVI files. Plays DVD movies too. It works with pretty much any platform you are likely to have at home. http://www.videolan.org/vlc/
