Сама идея менять ребенку имя, которые вы сами и дали, мне кажется не слишком удачной. Даже при усыновлениях, если меняют, то сразу. А лучше или хуже Михаил, чем Арсений - это смотря для кого, у всех вкусы на имена разные. Лично мне Арсений больше нравится.