Suggestions for pepper spray

All posts that say "get a gun" will be ignored.Long story short my friend (female) was almost kid napped today. A man followed her as she left her college campus, grabbed her and attempted to drag her to a van down the street. No one was around when she screamed, so she grabbed her phone and rammed it into the guys head/eye. He dropped her arm and she ran.She is looking for pepper spray options. I'm trying to convince her to get one she can carry on her not in her backpack. Does anyone have a sugguestion of a pepper spray that can attach to a pocket with a clip like a pocket knife. Small enough for a female to carry in "girl pants". My thought is if she can carry it in her pocket and grab it with either hand if this ever happens again. Links to where to buy online would be great.EDIT: I have come to the conclusion that pepper spray may not be a good idea but who knows. Any suggestions on something other than a gun? via /r/CCW http://ift.tt/2pXhvGO