See, my idea, instead of mice, would have been crickets.

Get 3-4 big boxes of crickets from some pet stores, and then have some people simultaneously flip the boxes over in a few locations. One outside, one in the main lobby, the gym, etc...

Mostly harmless, very noisy and jumpy.