Is a 1099-SA included when filing a tax return? Form has a gross distribution. I am helping my son with his return and haven't seen this form before. Thanks