Sam, just note that the only retirements not tied to the stock market in the government are military; civil servants have had a 401(k) like scheme for quite some time now.