We solve a rich life-cycle model of household decisions involving consumption of perishable goods and housing services, habit formation for housing consumption, stochastic labor income, stochastic house prices, home renting ...