Любое имя (тем более Марина и Лена - простые имена), даже если оно не очень нравится, со временем звучит привычно и даже приятно. Привыкаешь к звучанию, к произношению, к ласковым производным от имени. И уже это имя не кажется таким "нелюбимым". Например, я раньше терпеть не могла имена Егор, Фёдор, Роман. Теперь эти имена популярные и на слуху постоянно. Привыкла их слышать и они уже не кажутся такими ужасными, даже наоборот, понравились  Может и родителям девочки стоит каждому попрактиковаться произносить противоположное имя: мама пусть зовёт Мариночка, а папа (пока живёт отдельно) практикуется говорить - Леночка. Глядишь и привыкнут и придут к консенсусу.