Just adding the 8962 to that MFJ return I'd expect theyd have to pay back all, or a significant portion of the APTC he got as a discount on his insurance premiums due to the combined income on the joint return (and he only gave the marketplace his own income, not the joint figure). 

The alternative marriage calculation rarely helps much.  He may find that his spouses employer coverage ends up being a better deal.