If you do the the circle with a .250 tool and you tell cut2d the tool is .247 instead, it will make your pocket .003 larger, if your using a profile cut. I would do two circles and use the same tool, make the first hole .003 smaller then make the second circle to size thet way you don't have to call up a second tool.