Стоит ли менять имя?

У меня есть дочь, Полина. Ей не нравится своё имя с детства!!! Но ведь оно самое лучшее. Говорит, что типо мы не называем с мужем её ласково Поля, Полиша, Полинка, Поляша. Да, мы не делаем этого, и что??? Зачем это имя вообще каверкать? И отчество подходит под имя-Олеговна. Вечно она ноет, что мол, меня все зовут Наташей, папу Олежкой, а её скучным и сухим именем-Полина. Но ведь это мягкое имя. Сказала, что после 18-ти сразу сменит имя на Елену, Евгению или Варвару. А я против!!! Назвали Полиной-пусть живёт с этим именем. Так ещё и заявляет, что даже её одноклассниц-Милану, Маргариту и Юлию называют дома Милочкой, Маргошей и Юляшей. Этот бред у моей дочери начался в 7 лет!!! Я думала-перерастёт, но нет, эта ерунда и сейчас продолжается. Забыла сказать, ей сейчас 14, в октябре будет 15. Что нам делать?