They had a badge entry into the server room, and I assume those entries are logged. But doing the guest access in pencil is akin to leaving the badge access logs on a public server with no security.