[dallashoxton]

>Individual filings won't be on sec.gov

For an application to a court seeking that someone be held in contempt of court? Yes, this absolutely would be on sec.gov as a 'litigation release' and there are 2500 such examples listed there. If it were true and the SEC is just waiting to issue a press release, I think it's prudent to actually wait for that rather than believe some apocryphal document.

As for contesting the statement, who knows? He is not exactly the most stable individual these days (which is what makes him and his companies a natural target for shortsellers)