Eu tenho usado minilyrics por um bom tempo agora e é ótimo para baixar as letras automaticamente, e muitas delas já estão sincronizado. Tem um editor de letras onde você pode inserir códigos de tempo (ou seja, minutos e segundos) para cada linha. Não é grátis - $ 14,95.
Como uma opção freeware, eu posso recomendar evillyrics , que funciona de forma semelhante a minilyrics. A interface é um pouco áspera e pode ser um pouco buggy às vezes, mas muito bom. O banco de dados de músicas deles não é grande, mas se você estiver disposto a fazer isso sozinho, você deve estar feliz com isso.
Ambas as opções funcionam em conjunto com muitos programas de media player, incluindo WMP, iTunes, Foobar2000, WinAMP e vários outros