Now, I've played very little of "Super Mario R.P.G." and none of "Yoshi's Story," but of what I've seen there are a lot of Yoshis identical except for different colors. I was wondering if these Yoshis have individual names or are they just "Blue Yoshi" and "Red Yoshi" and so on? And, I mean in games and game manuals and such, not fan fiction.