I don't think they get quite that big unless you're being very generous. But I have one that was nice enough just now to swim up onto the glass, measures at 12cm to the base of his tail. Include his tail and to the tip of his bristles on his nose maybe 14. I'd say it would be unusual for any to grow more than a cm or two more.
But, anyway, yeah, I consider that smallish.