Notice they never said what the rock that was quarried was used for.

Because nothing comes to mind with the vast amount of rock that would have been removed for it to be an actual quarry that looked like that.