Thanks for that advice, David. I've thought about it some more, and decided that you are right: it is a small but significant risk. I think that dog will have to be happy with petting from his owner.