Source: https://www.biggerpockets.com/forums/51/topics/147895-using-401-k-money-to-pay-off-my-primary-mortgage---good-or-bad-idea?page=2