if you file a request for extension of time to file,
you can wait till Oct 15 to see if the IRS records are updated by then.
