There is a nice little program (that is badly named) called gspot. It will look inside an avi file and tell you the format of the movie (the audio and video are separate codecs in an avi.) I don't believe it works on any other type of movie format.http://www.headbands.com/gspot/

As to where to get the coded, well try some google searching there are many places.