Maybe he could enable mining turtles for only the mining world, I do personally like using them for mining, and see no real damage they could wreak in the mining world.
From what i've seen. Turtles that are not labeled, when they break blocks, the person who placed the turtle, Their name comes up in the logs. I'm not 100% what happens with labeled turtles but don't think it's the same. So it's pretty feasible to enable them, since they ARE logged now.
