Does the mascot Gritty have a sibling named "Nitty"? Google doesn't have anything on that. Why is that not a thing?