Partially correct. Holders of MANPADS also include the Department of Energy's NNSA OST teams, Diplomatic Security Service (DSS), CIA SAD/SOG, and the United States Secret Service (USSS). There was also talk of federal court officers having access to MANPADS for USSC and Capitol Air Defense, but it was cheaper to make some Avenger units Active-Gaurd Reserve (AGR) and ADSW duty permanent.
I signed for Stinger trainers (Smokey Joes) in the late 90s. My predecessor had to hand count all the DOE/OST Redeyes and Stingers in Albuquerque after the TWA 800 disaster.
Trying to remember, but wasn’t there some story about a missile shot having been taken at a civilian and commercial passenger plane, possibly Russian if I remember right, flying over this territory.