Catnip tea works wonders for me, but what works for one may not work for others when it comes to herbs. A home made massage oil with camphor and rosemary essential oils really helps with the spastic cramping too.  Here's to hoping that your GF finds some relief!