Как элегантно заменить в Python-строке 8 на +7?

Дан номер мобильного, скажем '8-912-888-99-99'. Как заменить восьмерку в начале этой строки на +7?

Очевидно, что метод replace() не подходит. Использование re я нахожу избыточным и не красивым для столь "простой" задачи.

Неужто ничего нельзя сделать?