Apparently the IRS automatically grants extensions to Oct 15. And I suspect that the IRS will be seriously understaffed this year. It's definitely worth pursuing.