Do you know the name of the Korean restaurant and if they serve banchan?