No, I'm saying don't claim a credit on the return -- as if they had received it -- and IRS will correct it if that's wrong.  But if IRS already says that it was sent, don't expect that result, unless maybe the check was returned and redeposited already.

Anecdotes are nice, but the debit card was not a Christmas card, in a non-standard envelope with handwritten address.  You can wait for it in the mail until Texas freezes over (that's actually happening in some places) but don't expect a miracle.