After you file

No do not amend.  If you have an amount for it on 1040 line 30 the IRS will take it off your refund.   They know they sent it to you.  So don't be surprised or upset if you get a smaller refund or the IRS sends you a bill.