Sorry, folks, oil does not come from dinosaurs
Petroleum is made from aquatic phytoplankton and zooplankton, and because petroleum is created by biomass. Coal deposits were laid in Carboniferous 75 million or so years before the evolution of the first dinosaurs.