The Texas Education System has its own retirement system separate from SS. It's kind of like a marged 401K and savings account. Basically, K-12 employees pay into the Texas Teacher Retirement System but NOT Social Security, Higher Ed employees pay into both SS and TRS.
It's a complicated...