No, the withdrawal isn't taxable....
(unless he 'bys' a DeLorean <w>
Are you concerned about the taxability of the overall Workers Comp settlement?