They did 80M in aggregate, across channels. 750k/mo on Twitter is in the bounds of 8-10% of that total ad spend.
Reply on news.ycombinator.com