We looked into Austin's 2023 payroll, and found how much the city spent on  employee overtime pay.