I don't know if there is an actual name for the place but that's what is on the sign above the entrance and that's what comes up in Google. It's not the most original. But it does seem like a local place with an elderly male host who was only too happy to serve and cook for us.
- Enchilada mole 75pesos;
- Chile relleno pierno horno 75pesos - a green chilli stuffed with meat.
It was a simple meal and reasonably tasty. Local stuff I imagine.