Só tem um pequeno detalhe, isso é um distrito ou apenas subprefeitura?
Muitas cidades grandes tem diversas subprefeituras para auxiliar na administração, não são necessariamente distritos.
Atualizado:
Achei mais uma informação.
http://pt.wikipedia.org/wiki/Barão_Geraldo
Agora as pessoas pesquisam como nesta área? colocar <norma da rua>, <distrito> ou <nomedarua>, <cidade>? se as pessoas pesquisam como Campinas é melhor não adicionar.