Template talk:JPIV Dinosaurs

Should we add Pachycephalosaurus to the Jurassic World dinosaurs navigation box? It did appear in the movie, though briefly on the screen of the control room.