I would have thought it was ketchup. But it’s not. In many countries in SE Asia, when you see a push-pump out in the condiments section, it doesn’t contain ketchup, it contains chili sauce. Ketchup you have to ask for. So is the chili sauce hot? You’re kidding, right? You’re asking me if the chili sauce is hot in places like Thailand, Indonesia and Malaysia where you can’t get bland food? Yes, it’s hot. I usually cover my nachos in jalapenos back home, but I’ve had a couple of situations in SE Asia when I really regretted taking a bite of food, because it contained some of the hottest chili peppers I’ve ever had the displeasure of tasting.