А мне Варя что-то совсем надоело последнее время ( Девочки-мамы Варюшек, не обижайтесь, только!!!) Если мы имя выбираем, то это безлико и явно к вашим лялькам не относится.
Так что все имхо. Вот еще лет 5 назад ( и более) Варя -да, это было "интересно", а сейчас Варь-как в нашем детстве Лен- по 5 штук будет в классе. И им всем будет обидно "Варя", "какая Варя?" У меня 3 знакомые подряд ( из трех) назвали дочек Варя за последние 3 года...

Так что если из этих двух, то я за Машу. Ну или еще подумать. Я сама ооочень долго думала как дочку назвать, все 9 месяцев голову ломали каждый день. Решилось все очень случайно)