401k Withdrawal for a house?

you might not have to pay the early withdrawl penalty if its for a primary residence, just a thought and you might want to check it out.
This sould be correct, it should also include any hardship cause. ie. med/death.

Good luck with it.