We are going to San Miguel the end of October and staying in the San Antonio area. We used to love going to Cha Cha Cha on previous visits but understand it is now closed. Does anyone know if that is true? Is there another restaurant in its place now? We would love some other suggestions for good restaurants in that neighborhood.