5-22-18: District Overtime Tops $108 Million; Better Management and Additional Staff Could Reduce Costs