It's very high if you count Yoshi and Wario like I do, but Doc is more like a costume. I don't mind the amount, but compared to the amount that other series get its really absurd.
If Super Mario gets 8ish





yoshi, wario, and jr, then
Pokemon should be 7 or 8
Zelda should be 6 (not counting T. Link)
Donkey Kong should have at least K. Rool and
Metroid should have at least one other rep (Ridley or Dark Samus).
It's fine to have Nintendo's biggest franchise with a lot of reps as long as all of them are important, but it's not fine when other big Nintendo franchises get 1/2 or even 1/4 the amount of reps.