Renomeando varios arquivos no Windows

Esses dias precisei renomear varios arquivos *.txt para *.mib se estivesse em casa utilizando meu LINUX seria barabada mas como estava utilizando windows tive que descobrir uma forma, que é a seguinte:

1. selecione todos os arquivos que quer renomerar
2. aperte em F2
3. digite o novo nome e depois ENTER
   

Overview:

Os nomes dos aqruivos ficam de uma maneira porca mas pra windows eh isso neh:

Antes:
a.txt
b.txt
c.txt
Depois:
a.txt
a (1).txt
a (2).txt