I have a question..being fairly new here, what are the names and locations of the clubhouse restaurants? Papa Mikes and Cafe Amici, we have found and really enjoyed both.We tried a few local ones and also enjoyed..e.g.Las Pueblito's.Gusano's,the mexican restaurant next to Allens...thank you in advance...we try to stay locally...