If Texas doesn’t recall him very quickly, he will be eligible for the congressional pension plan. 42K with 5 years of service I think it is.
More like $16K.