enchiladas are often served in mexican restaurants.