I would tell him to turn it down no smaller than a diameter which leaves you with at least .060" (60 thousandths) metal thickness (margin). And I would feel better with .090" margin but ask him, as margin is best determined considering metal composition, workpiece design and operating load. My vote is 90 thou. minimum.