Toy dinosaurs waved hammers in the music.