Broken key in the lock: what to do?