We just bought a lovely hunk of Chinese bbq pork and I'm bummed about having to eat it with the less-than-adequate mustard I've been able to buy. When you get bbq pork at a Chinese restaurant, it almost always comes with a serving of delicious, sinus-burning HOT mustard. We've tried the grocery store brands (Sun Luck, Beaver, etc.) but they just aren't the same--mostly, not as hot, but they also have a thicker consistency. We haven't had much better luck at an Asian market. I did buy some ground mustard there and mix it up myself, and that came closer, but it just wasn't the stuff from the restaurants. Does anybody know the secret--where to get the stuff the restaurants serve, or how to make it from scratch?