Healthcare workers, maaaring pumili ng brand ng booster shot; Guidelines sa pagpili ng booster shot, inilabas ng DOH