What are tiny grey bugs that on the exterior of a brick building?

They are probably Boxelder bugs... They are all over my building at work these days. Here is a link to some info about them!

http://www.extension.umn.edu/distribution/horticulture/dg0998.html