I'd have named him Muchacho and called him Chachi. Chachi is easy to say, easy for him to learn and even has "chi" in it. Yep....Chachi.....maybe you could call him Batman Muchacho and call him Chachi? *L*
Edited to add....when we were looking for a chihuahua, we wanted a male and were going to name him Jose' Cuervo. But we ended up with a female that had already been named Gidget. So, we named her Gidget Jose'lina Cuervo. We call her Gidge.