Aliens absolutely killed all the dinosaurs. I agree this museum needs to feature this more clearly in its displays. I agree with your son’s assessment. There aren’t too many places you can see dinosaurs eating other dinosaurs these days.
Aren’t you glad wasn’t THIS museum? (I think it’s in Spain). I bet your son would have loved it!