Na base de dados que eu estou ajudando a passar pro computador tem os nomes de cidades mais engraçados do mundo. Só pra dizer que Tangamandápio existe de verdade, acho que em Michoacán, mas agora não tenho certeza. E que em Português o Chaves é até menos desgraçado que em espanhol: "El Chavo" quer dizer "o garoto". Em espanhol ele sequer tem um nome.