My sister is trying to remember the name of a movie that had toy sized dinosaurs in it (with names like elvis, etc). I remember it very vaguely, but haven’t the slightest clue as to its name.