Miramontes from Tlaltenango

Hello Everyone,
I know this family line has been talked about before on here.
I was recently able to trace my great-grandmother's family all the
way back to a Ysidro Miramontes who married Bernarda de Avila on
Jan.21,1709 in Tlaltenango, Zac. The record states his parents are
Lorenzo de Miramontes and Maria de Santiago.
Using the Gedcom database on here I found a Lorenzo Miramontes but
he's married to an Ana Diaz de Santiago. The name is somewhat similar
and I wonder if they are the same couple. Ysidro Miramontes is not
listed in the Tlaltenango Families database but I believe he could be
their son. Any helpful information would be appreciated.

Gustavo Carrillo