The diameter of a hole drilled for tapping...