Personally I would toss the bucket if it is old and wasn't new when I got it. Any small scratch can harbor bacteria. Buckets are cheap and there is a good chance of getting an infection with older ones, especially if its not originally yours. Who knows, he could have also used it to pick up...