@Hal_Al
Q was posed to the OP however I don't think they can use the form 843 if the original amount included FICA :
https://www.irs.gov/individuals/international-taxpayers/social-security-tax-medicare-tax-and-self-em...
