Вам самой, отстранившись от мнения и реакций других , имя сына нравится? Если подумав, вы понимаете, что да, с высокой горы на всех, и не обращайте внимание! Люди и Вась, и Миш могут не запоминать с первого раза! Имя у вашего мальчика красивое! ИМХО, Арсений более современно и красиво звучит, чем Миша, но это мое ИМХО! Я бы не меняла  Имя Арсений не редкое, так что, зря вы так  Проблем не должно быть, наоборот, запомнят, потому как красивое! Всем мил не будешь  Делайте так, как вам больше нравится, без оглядки на других!    Про сам факт смены имени, то не вижу ничего сложного, кроме оформления документов на данном этапе, имеете право  Правда, никогда бы Арсения на Мишу не поменяла