Tough call. Those sound like fairly generic names for sauces, so it's hard to tell. The server should be able to recommend the right sauce for you, otherwise they shouldn't be working there. Of note, the Khan Pao, Red Curry Peanut, and Szechuan sauces contain shellfish, in case you are allergic.
I think Szechuan cuisine in general is known for being a little spicy, so maybe that's a good choice.