I'm voting all of the above........... 1040x paper or efile.... as long as there's a payment attached, the IRS will accept.