The parents of a toddler killed by an alligator at Walt Disney World said Wednesday that they don’t plan to sue the Florida theme park resort over the death.

Garry Marshall may be best known for gifting the world great comedies, from “Happy Days” to “Pretty Woman,” but he also had a lesser-known talent: launching the careers of famous actors. Since Marshall’s death at 81 on Tuesday, Hollywood stars have been flocking to social media to thank the director for giving them a chance. Here’s a look at 10 people who could thank him for their careers.