There are about 15 school districts in Texas that teachers participate in TRS teachers retirement system AND have SS taken from their paychecks. Austin ISD being one of the largest ones.
