When to Employ an Armed Patrol in Miami