I remember that bit. It may have been my first introduction to him although I think the dinosaurs being the devil’s biggest trick might have preceded it via audio back in the Napster days.