By the way, most of the petroleum we use doesn't really come from dinosaurs. The consensus among researchers seem to be that it mainly comes from dead planton and algae that sunk to the bottom, although there are also some heterodox theories of abiotic oil formation as well. (https://en.wikipedia.org/wiki/Petroleum#Formation)