Health workers can choose COVID-19 booster shot, says DOH