Retirement tax questions

he has 5 withholdings on his check and we are eligible for 9 and I didn't think he could contribute to TRS post tax since it is automatically withdrawn from his pay and he isn't given the option as to how to have it withdrawn.