Масло масленное?

У нас проблема с именем для сына. Дело в том, что муж сразу как-то опредилился с именем - Петр. Все бы ничего, прекрасное имя, мне нравиться, но... мы Петровы. Получается, что масло масленное. Муж со мной согласен, что это как-то не очень, но уж так сильно имя в душу запало. Вроде как нам нравится еще Михаил (больше мне, чем мужу).Супруг даже согласился на Мишу и родственикам нравиться, и к отчеству Дмитриевич подходит, но походит-походит наш папаша, погладит живот и опять Петькой назовет... Может судьба сыну Петькой быть и не стоит заморачиваться на созвучие с фамилией?

Как быть, посоветуйте?!