If he was credited, you can probably find his name by looking up the title of the film on IMDB. Once you pull up the film's profile, you will se a list of first billed actors. Under this, there should be a link that says "see all cast and crew." If you click this link, and your friend was credited, then you should find his name. A lot of times, though, extras are uncredited.