This sauce is red in color, as the name implies, with the hue coming from tomatoes and some mild red chiles. Instead of going with chicken or beef enchiladas, De Witt is using pork shoulder.