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