[Olefin]

FYI one thing to keep in mind for 2025 is the militarization of the police and many federal agencies in the last few years. There are a lot more guns in the hands of people like the IRS then there was in the old timeline - i.e. thus more opportunities for surviving govt agencies to be very heavily armed (i.e. the old days of them having basically revolvers and shotguns are over)

Also you have police agencies that have A LOT of military equipment - meaning more opportunities for that marauder group that use to be the police having stuff like MRAP's, ex-armored cars, Hummers, etc.. - as well as military grade body armor and equipment

In Ohio between 2006 and 2014, almost 5,000 M16 rifles were distributed to local and state law enforcement agencies in Ohio under the surplus military equipment program

Example - from a 2019 GAO report for the IRS

The current 4,600-gun stockpile includes 621 shotguns, 539 long-barrel rifles, and 15 submachine guns.

According to the Government Accountability Office the ammunition breakdown is as follows:

Pistol and revolver rounds: 3,151,500
Rifle rounds: 1,472,050
Shotgun rounds: 367,750
Fully automatic firearm rounds: 56,000

and as of 2020 the number of non-Defense Department federal officers authorized to make arrests and carry firearms is 200,000

An example - in 1995 the VA had almost no one who was authorized to carry a firearm - they started to carry them in 1996 - as of 2020 they have over 3700 personnel authorized to carry firearms and make arrests that are armed with automatic pistols, body armor, ballistic shields, batons, etc. and a lot of ammo

Thus a federal agency building that still has its people there on duty may be very heavily armed indeed