Where do dinosaurs go when they die?

They really used to believe crude oil came from dead dinosaurs.

So, did they think that pockets of oil, with significant amounts of hydrogen sulfide, came from dinosaurs that ate mostly hot peppers?