If he's not in the credits, I'm pretty sure he isn't in the movie.
Tom Cruise isn't in the credits for Young Guns, but he did make a cameo.
It could be that this movie was filming around the same time as his movie, and someone asked him to throw on some makeup.