Gramatigalhas

"Caros colegas, saúde! É correta a utilização do termo 'prefeitura municipal', vez que toda prefeitura, ente da administração pública, é municipal? Não há redundância no termo?"