If he did not get all his tax back then it will be coming. I only got mine yesterday and they say that they are still sending them out until the 16th of May.

Basically it is over $11K but you can have earned significantly more than that and had refunds for various things. So long as you know he didn't get all his tax back then you will get it.