When I eat chips in restaurants (out of a personal choice) I ask for mushroom sauce or guacamole to use in place of ketchup or tomato sauce. When they don’t have either, I have them plain, w…