 There are about 1,500 names in all. I don't think they got all of them into Jurassic Park. The authors wanted to know how much effort it would take to address what they saw as, I kid you not, problematic names for dinosaurs, which they describe as those, quote, emanating racism.