100% this. Leadership gets to decide how insanely hooked up they will be. Same as congress. Remember when they carved themselves out their own Health Insurance requirements? Same thing.
While this is true, they do get 72% of the premiums paid for by the USG, as well as numerous perks like free onsite visits from OAP etc. Not unlike some large employers.
I remember I was reading a subreddit for actually rich people (/r/fatFIRE) and there was a thread about concierge doctors; everything about the service sounded worse than FAANG health benefits I've used. (Which does include an onsite doctor's office.)