So how much of the Austin’s police budget comes from the federal government?
APD, and TCSO are separate entities.