Thanks @DavidD66 ! Your answer makes sense, but in reading other forums, I had read that I might need to report the withdrawal on a 1099-R. Also, since this is an employEE contribution, is there any requirement to file a Form 5330?
