I have exact situation like you. Wondering what did you do with the 1040x? I could not reach out to any IRS person through the their phone number. It's always a bot answering questions.
