This is such a wonderfully unlikely story. The museum, known for its dinosaur displays, was drilling a borehole in its parking lot as part of a building improvement project. The 5cm borehole happened to go straight through the spine of a small dinosaur.