What is the name of the turtle cartoon character that wore a red bow tie and possibly had glasses?

There was a "Toby Turtle" from the Disney film "Robin Hood" who wore glasses but not the red bowtie ,