He actually just canceled the flight, he just found the same flight for 10,000. Not sure exactly what fare class I'm not with him.

Just so you know what he paid for the now-canceled flight
8300 out of pocket and 425,000 miles. for D1. JFK ATL GIG . and GIG ATL JFK

he canceled that and just booked the 10350 flight he's paying 2000 dollars more but he values the 425000 miles at more than 2000.

I didn't realize he was doing pay with miles when I was helping him over the phone, now I completely understand why he kept saying they will empty his account.