Thanks for the info. Definitely worth keeping a bottle or two on hand.
I remember as a kid living near Virginia Beach we used to use cigarette tobacco. Rub it on the sting and the pain would disappear.