Got it. No they did not refund me but they gave me an updated w2-c to submit. I will have to fill those forms I guess. thanks for your help and the additional l...

Thanks for your help!I see... so do I just need to claim by sending to IRS forms 843 and 8316?I am reading a lot online and getting so confused.Thanks again!