Thank you for the information on that one.
I was a bit confused on that one because reading how it works for a US citizen, if it's all used to pay for college/degree, it doesn't have to be reported and isn't taxable unless that's different for a nonresident being treated as a resident for tax purposes, or I may have just overlooked that when I was reading through.
