I answered a little more in detail in a different comment (https://fedia.io/m/technology@lemmy.world/t/411563/-/comment/2556033) but to address the last point: They did file in federal court (specifically the federal district court in north texas).