Earlier quoted context omitted.
Good thing he went to the doctor. Potential rabies is one of those "you gotta do it" deals.
I had the rabies vaccinations, when I was a kid. A schoolmate brought infected guinea pigs to school. Dozens of us had to get the shots. 17 shots: 15 shots, and 2 boosters.
We went camping in France and then on to Italy. A rabid cat entered our tent in France, but we didn't know it was rabid. The authorities finally managed to track us down to an Italian camp site, no idea how they did that, but glad they did.
If any of us had a single scratch or cut we could not 100% account for, we had to have the injections.