Ah gotcha. If he does pay with one that covers it then he would just need to open a claim with the card company. Then get it repaired/replaced at apple and as long as you pay for the repair/replace with the same credit card they’ll issue a credit to cover the cost.

Good luck!