@fanfare The taxes were not withheld; we paid them directly to the IRS. Box 4 on the 1099-R (Federal income tax withheld) is $0.
