You forget that the IRS takes over half. So that leaves you with 450k. lol
That is IF he paid them. LOL Hopefully he didn’t pay them and now owes them to! LOL