Don't they still have to file the annual report for TX?
I think you can look up their entity number at Texas Secretary of State/Corporations Commission or whatever it is called.
