筋肉けいれんは痛い?

昨日のマラソンで、
日本人一位だった人は、
途中で筋肉けいれんしたけれど、
それでも、ストライドを小さくして、走り続けたのだとのこと。

わたしはまだ左足のこむら返りの痛みが残っているのだけれど、
筋肉けいれんは多分とても痛いのではないのだろうか?