Opened in 1846, the quarry boomed during the Industrial Revolution, when a 17,000-strong workforce extracted half a million tons of the gray rock per year to export across the globe. Today, only above ...