The IRS and the Department of Education were not very helpful, but according to DeepSeek, my son's university is eligible for US federal student aid and therefore qualifies for the tax credits. I'm not yet sure Turbotax will be able to deal with this situation.
