When did they apply? https://faq.ssa.gov/en-US/Topic/article/KA-01969 would seem to say the card should be here before they have to file. I would wait and file extension if necessary.
