I also worked for the DoD and in my office , which leaned red surprisingly, the majority took the shot. A handful didn’t want it but by now I imagine they have all succumbed. Good jobs weren’t easy to find in the high desert.
I know a few that have so far held out.
I spoke to my last department head before the holidays to see if he was hiring (asking for someone I know) and he said check back with him in January as he was expecting 25 or so to retire in that department to avoid the shot.... thats about 20% of the workforce just in that one dept.