Las tejas rojas del techo no son de México, son de Texas