Yep and I'm pretty sure you can count them. But you'll have to count several different ways since there are different types. Another problem you run into is that brushes get divided up a few different ways. What could be two large tris in the editor could end up being 12, 24, 2000 tris after its compiled.