That's sort of right. I can't get any deductions for him. (He's not a dependent, because he's a working electrician living in another state, and supporting himself.) BUT I can put $10K of loan payments against the $13K 529 withdrawal, so I don't get taxed/penalized on the entire withdrawal, only ~3K.
Thank you for your support.
