Nevermind - “State Capitol Police Chief Charles Tubbs pegged the crowd at approximately 4,500 people.”

But how many of those were protesting the protesters?