But Gusto agrees with you that amended 1120S should be mailed. So maybe the prior community post is wrong. I'll try just mailing it. I gather they filed half the IRS staff today, so perhaps it doesn't matter either way.
