Open question: How can someone take a loan out against its 401k?