We had more 82nd, Marines, and National Guard when I was there in Mayday of 71.
I remember that. We were dragging the hippies over to RFK stadium by the busload.