The people with hard hats were wearing tool belts.