There will be 5 of us (3 adults 2 boys ages 7 and 3) and we have a dining question. We wanted to have lunch one day at the San Angel Inn. My husband and I went there many years ago and have fond memories ! My question is this. Our youngest son is a VERY picky eater. Will we find enough there for him ? Also an option is to switch from San Angel to Coral Reef. I'd appreciate any and all opinions !