Somebody in DC permits need to check ans see if any were issued for the movie industry at the capital?

You actually can’t film inside the building.