Leg muscle cramps, aka 'charlie horses' and painful contractions of skeletal muscles elsewhere in the body, are really not a lot of fun, striking mostly in the middle of the night, disrupting sleep and necessitating rather bizarre nocturnal gyrations to alleviate.