Employees of the Federal Government provide service to their employer in exchange for compensation, of which some is received currently (the salary); and some is deferred (pensions, retirement health benefits, and other retirement benefits).
Federal Government employees get pensions and retirement health benefits.
It's not worth investing those five thousand dollars in more tires.