The IRS will automatically send the refund of tax paid - no need to amend. You should receive it in the next few months since they are doing it in batches. You will probably receive it long before your amended return is processed since amended returns are currently taking 6-8 months to process.
**Disclaimer: This post is for discussion purposes only and is NOT tax advice. The author takes no responsibility for the accuracy of any information in this post.**
