Let's say Netflix asks the production company for the cast. DIC Entertainment went defunct 7 years ago. Let's say they were still around though. Would someone t

Let's say Netflix asks the production company for the cast. DIC Entertainment went defunct 7 years ago. Let's say they were still around though. Would someone there have to dig through physical filing cabinets? Or would they just google it? Bottom line: Henry Winkler voicing a shark as a meta-jumped-the-shark reference is brilliant.