Yes, they manually do it. I know JFK has a larger buffer than the rest of the bases. I think its an extra 30 mins. Gotta love our work rules