Deductions & credits

No enter the full 4200 you got.  He doesn't have to pay his back.