Coming from NYC, I used to eat Thai and Korean bbq regularly. But now, I rarely get either. I live near Castro and have been to the Thai place and Korean BBQ place (Ginseng?) on Castro. Both were tremendously mediocre. Is there anywhere nearby that is worthy of trying for dinner tonight? Any suggestions greatly appreciated.