Employees of the financial regulatory agencies are members of the Employees Retirement System of Texas under Chapter 812, Government Code, and the agencies’ transition to independent status as provided by this chapter has no effect on their membership or any benefits under that system.