Hi all! I hope everyone's tax season is off to a great start. I have an interesting case and would like some support and guidance on how to approach this: The client has a FIRPTA withholding from a sale of real estate property. The client did have their green card at the time, but at the closing still needed to file a 8288 withholding, for some reason according to the lawyer. They now want to get their withholding back and need to file a 1040NR, however they had their green cards, and I cannot file a 1040NR and need to file a 1040. What approach should I take in this scenario?