Completely possible that hes having to pay back the APTC he received with the marketplace insurance, but youre the only one that can see the return and follow the math to see whats actually happening.