Afortunadamente eran las diez, y la cuadrilla se decidió a almorzar.