Tripp filed a whistleblower lawsuit with the SEC as part of his publicity campaign. It's mentioned in the linked article about the tweets.[0]

[0]https://www.engadget.com/2018/08/15/martin-tripp-tesla-tweet...