Question: The name Mike Tyson can be found in the full list of credits for a Hunger Games movie
Answer: yes