But the mean AG in TX can sue again in the 5th circuit if I understand correctly. Regardless, a win for us. We'll have a few more months for renewals : )