Yeah, he pays more in taxes than he would if they jointly filed. But the money his wife gets back + 700-1000/mo in EBT more than makes up for it. That's basically an extra 20 grand not taxed per year.