So the early retirement close time has passed, anyone know exactly how may took the leave? I suppose we have to wait till the 9-5ers are back in the office tomorrow, but just wondering if anyone has access to that info.