This was a good story, but perhaps the craziest part for me was that some random lady massaged your legs for you.
Anyway, my knowledge of nutrition is close to zilch, but I've found that drinking lots fluids helps relieve cramps somewhat whenever they flair up (Then again, it takes a few minutes so it is entirely possible that they are just going away on their own). Hope you're feeling better.