He was a probationary employee, so if he didn't quit he likely would have been fired anyway (probationary employees don't get the buyout, and it's very possible rank-and-file won't get it either... it's budget that would have to be approved by congress)