Correct.
https://www.justice.gov/doj/page/file/1246661/download
About 138.4k firearms per agent. But they don’t have to work that way, they’ll go ordering your local LEO to do the hard work.
I suspect there will be much blood shed.