We always use Macayo’s (a local brand, I think) or Las Palmas red enchilada sauce.
The last Las Palmas green enchilada sauce we bought was way too salty, so we’ve not used it since.
Never mind my question about the brand you use. I just saw this