Either way rocketmon, one would not expect the completion of milling in under three weeks.
No dout they are using a mill bit with rough, sharp and extremely hard cutting surfaces for removing both the pipe and cement at the one time.
They certainly will not rush the this operation as they can't afford to prematurely blunt the mill or worse, fracture it.