I have not been able find any sources on whether anyone was in the building, period. The police were called at 7.45 am (I can provide a source), which means this was happening before standard business hours, but that has little bearing here since plenty of people work odd shifts. What’s your source on employees being in the building at the time?