I think I finally found a link that has the 9-digit IDs for lots of foreign universities, so I think it will work. TurboTax would not accept a generic number, but it would accept the one I found in this list for Cardiff University. Hopefully I will get the AOTC for my son's 2018 tuition.
<a rel="nofollow" target="_blank" href="
https://ifap.ed.gov/fedschcodelist/attachments/1112FedSchoolCodeList.xls">https://ifap.ed.gov/fedsch...>
