Juanito en vez de Juan en como apelativo de niño príncipe, pudiendo deberse a esta característica del dios prehispano, y e Tachachalco por estar en el hueco de la roca.