I will be mailing this 1040-X, as the form is already available on the IRS website. Thank you so much!
