Someone can correct me if I'm wrong, but I believe these days the various film-industry unions essentially require individual credits for anybody who even tangentially had anything to do with working on the film or on the set of a film. E.g., I'm pretty sure I've seen the names of catering staff in movie credits.