We set up and solve a rich life-cycle model of household decisions involving consumption of both perishable goods and housing services, stochastic and unspanned labor income, stochastic house prices, home renting and owning, stock investments, and portfolio constraints. The model features habit...