Thanks. I was hoping for a more definitive answer (e.g., the IRS publications are very clear that I can file before making a claimed IRA contribution), but I think you are right.
