Did not the Form 1099-R that you received for the distribution have the federal taxes withheld entered in box 4 of the form?
