Yes, we do.  RIS provides high quality healthy Korean and Western food, and an attractive canteen area.  If parents want to provide a packed lunch then they can do so.  The children will all eat together under supervision.