We received a refund today. We did not have to do anything, no refile or amendment required. The IRS did it all, miraculously.
