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