i wonder, when the dining hall says they're having penang curry on the menu tomorrow, if they mean they're having thai panang curry, or malaysian penang laksa. probably neither.