That’s silly. Everyone knows that it made a big dent and that’s the place to which all the melted dinosaurs flowed as oil.
Actually the majority of the oil would be from decaying plant material. Think about the biomass of animals vs plants...