Should Pima County make its workers get COVID shots?