Good point. I would probably lean toward the latter, having already paid into it for 30+ years ever since I began working. Although I'm not headed toward a $100k retirement (yet), I still think that you should get something back. Perhaps $150k or $200k?