It's the NV corp, not the TX, that would make any filings with the SEC. More likely, the state was about to lock them out of Star Park for non-payment of taxes.