Texas has the three strikes law. Once he leaves Federal prison, he will be turned over to Texas authorities to serve out the rest of his life in Huntsville.
BTW, it will not be hard for the Texas authorities to charge him with something. There is no double jeopardy between Federal and State courts.
You are absolutely correct.