Aha, it's public. That explains the inflated employee count. Same story every time.