Maybe they just got started on Ceres.
They strip mined the other asteroids. They’re deep shaft mining Ceres.