I always wonder about the story behind oddities like this. Was he buff, and it a pun? Or was it his nickname for an unrelated reason? Or did he just dig mice?

In all cases, it’s an odd little humanizing piece of the past!