After you file

@lucianod39 @botgotti73
I just tested the IRS phone tree again, and they have changed one of the menu options.  I have corrected the sequence above.   If you were emailed the original answer, please return to the forum to see the sequence.