What ever became of the quarry?