Does the Lemmy mouse have a name?