By the way, I have lost tools to the electricians, but it seems to have been innocent. That is, the electricians finished their work before I did, and they had a junior member (possibly a newish hire) pick up tools that were left around. Being junior, and not having bought the tools himself, he took some of mine. I always disovered this some time after they left, and I'm quite sure this was not intended. It teaches you to keep your tools in a particular area!