PS Chinese restaurants always seem to spell it “szechuan,” right or wrong as that may be.