Texas actually keeps 2 sets of records.