In August, we will be visiting San Francisco for the first time and are looking for restaurant recommendations for Korean, Mexican and any general local favorites. Any ideas would be appreciated.