Обращение воспитателя к ребенку - допустима ли "замена" имени?

Младшему 3 года 1 месяц. С сентября ходит в детский сад. Зовут Фёдор - соответственно, называем его Федя, да он и сам так представляется при знакомстве. Мальчик с этим именем один в группе - хотя имя довольно распространённое сейчас и несложное в произношении. Одна из воспитателей почему-то называет его постоянно "Федот", так к нему обращается, а ребенок уже откликается и привык. Мне это неприятно, как-будто это обращение не имя, а кличка и "режет слух" ещё сильнее, чем обычные речевые ошибки. Как вы считаете - стоит ли попросить воспитателя называть ребенка правильно по имени, или же постараться не обращать внимание?

Спасибо всем откликнувшимся! Благодаря единогласному мнению о том, что не стоит проявлять терпимость в данном вопросе, поговорила с воспитателем - не в форме "наезда", а в форме настоятельной просьбы. Она удивилась и с ноткой обиды, сказала :" Ну раз Вы настаиваете...- я постараюсь перестроиться, хотя я уже привыкла так его называть"....Буду наблюдать по мере возможности.