It's not a pun but rather it is an explanation of how we are using oil to power these things which are generally (if I remember right) made of dinosaur bones once
You're incorrect, petroleum is made from the lipids and oil from green algae that lived in the ocean, or possibly from fish. Also occasionally from coals. But not dinosaurs.