Вы совершенно правы. Если вводное слово (сочетание) стоит в начале или в конце обособленного оборота (обособления, уточнения, пояснения, присоединения), то никаким знаком препинания от оборота оно не отделяется. 

Второй вариант, возможно, и нагружает текст визуально, зато однозначно показывает, что части предложения связаны друг с другом. Другие варианты показывают это не столь однозначно. 

Прежде всего надо отдавать себе отчет в том, что служебный быть (иначе — формальная связка) лишен лексического значения существования и выражает исключительно грамматическое значение составного или сложного сказуемого. На него не может падать фразовое ударение.

Знаменательный же быть легко принимает на себя такое ударение (У тебя еще есть время? — Да, время у меня есть). Поскольку он имеет полноценное лексическое значение, у него есть синонимы: найдется, имеется, существует и др. В разных контекстах одни синонимы могут быть более приемлемыми, другие — менее, но принципиально важна сама возможность такой замены (У меня еще имеется некоторое время), в то время как формальная связка быть никаким подобным синонимом заменена быть не может:

Маша была красавица — *Маша нашлась (имеется, существует...) красавица...

Очень хорош известный пример из фильма «ДМБ»: — Видишь суслика? — Не вижу. — И я не вижу. А он — есть…