Наверное, это знак. Мы тоже хотим Мишкой назвать, у меня ПДР 4 декабря, тоже смотрела, что следующий ближайший именинник Михаил (правда, посмотрела уже после того, как стали склоняться к этому имени). Теперь с животинкой поприбавится приятных хлопот. Мне кажется, они такие интересные (черепашки).