So does this DS get retirement for life from the Tax Payers
Yes, he became vested after 5 years. And he can begin drawing it right away - should be around $20,000 a year.