Well I own 2M worth of rental real estate and contribute to a 401k.
I feel bad for someone that makes irrational moves based on a book. Even with some success and the ability to quit my job right now I am not. I also put money into my 401k to get the company match and not a penny more. That is free money my company will pay me. It is actually part of your compensation.
I dont need a 401k, i put money into it for the match. That is a 100% gain. Invest in bonds then. I said that once. I dont know if the market will crash, i think its doubtful. My money will be out of my 401k and in a self directed account most likely. At no point will I take the 10% penalty. Again, invest in BONDS in your 401k.
If your company doesn't offer a match this conversation doesn't even matter. I would reccomend real estate over a 401k with no match any day of the week.
It is concerning that you need $6,500 to close on this deal and you want to use your 401k and take a tax hit to do it. I would rather use a credit card (which I use all the time for down-payments).