Reporting 1042-S as a resident alien, and income double counted in 1098-T in Get your taxes done using TurboTax