Oh, gracious, the vet must have nicked or irritated the skin so it was bothering him! Hopefully in a day or two it will stop hurting/itching. I'd definitely complain to the manager if need be.