I have a client with earnings of 140k and up he just bought a house and took out 19k from his 401k for a down payment. To my understanding, he can only write off if it is an IRA. Now he has a hefty bill to pay for the distribution. Is there anything I can help him with to reduce his liability as a first-time home buyer?