2023 taxpayer had simple side job W-2 that the employer never correctly sent to SS. The IRS denied the $1800 withholding.  We jumped through all the hoops and eventually went to TAS where they didn't resolve the issue. 

Suggestions? 

What do you think about this: IRS clearly recognized the income but not the withholding.  What if I file an amended return just amending the withholding amount and including a copy of the W-2? Hate to muddy the waters but they are not helping.  

Or, ?

Thanks.