Pancho Villa was a Tex-Mex restaurant offering a menu of tacos, enchiladas, sopes, and tamales.