For how to enter the withholding, in TurboTax, see a similar question here:
https://ttlc.intuit.com/community/tax-credits-deductions/discussion/re-filing-non-resident-return-fo...
