Yes, he became vested after 5 years. And he can begin drawing it right away - should be around $20,000 a year.
Need to change the law no retirement for Congressman or Senators!