Wonder what brand/type of pepper spray he was carrying? So many out there...
Having tried to get the wife, who is often out alone in her work, to carry a handgun in a belt holster, I gave up a few years ago and switched her to a 13oz 30foot range bear spray. It may not put an attacker in the morgue, but if the US Forest Service says it will deter most 800 pound bears, I think it will do. Try UDAP. About $40.
Make sure you have enough liability insurance to cover the bystanders. Homeowners will cover it but not a high enough limit if she let’s it go in a crowd. Get a liability umbrella.