1 1/4 cups (or 1 10-ounce can) red enchilada sauce homemade or store-bought*