Cost of overtime haunts UCSD campus cops