In 2011, I had a job waiting for me when I retired from TDCJ. I had the age to retire, but lacked 6 months having my 20 years. I bought the remaining six months and it was just over $6K as I recall. A call to ERS in Austin should tell you what you need.