I didn't say, or mean, that the manager should not be notified. He (or she) should be notified - if fujichants wants to - but I was questioning the responses that thought this guy would do this again or has done so to others. I found it hard to tell from the story.