My friend just received a minor cat bite. He has washed the bite and intends to just leave it. I think he should check if he needs a tetanus shot, or something. He thinks this is overkill. Who's correct?