This paper incorporates home production into a dynamic general equilibrium model of overlapping generations with endogenous retirement to study Social Security reforms. As such, the model di¤erentiates both consumption goods and labor e¤ort according to their respective roles in home production and market activities. Using a calibrated model, we conduct a policy experiment where we eliminate the current pay-as-you-go Social Security System. We …nd that the experiment has important implications for labor supply as well as consumption decisions and that these decisions are in ‡uenced by the presence of a home production technology. Comparing our economy to a one-good economy without home production, the welfare gains of eliminating Social Security are magni…ed signi…cantly especially in the long run. These policy analyses suggest the importance of modeling home production and distinguishing between both time use and consumption goods depending on whether they are involved in market or home production. JEL Classi…cations: E21, E62, H55