A few years ago I ate at Palio (now closed) at the Dolphin. There were strolling musicians during the dining period. Two old men- one playing mandolin and the other accompanying on guitar. They played Disney tunes among others. Does anybody know who these guys were, or if they still have a gig somewhere in Disney now that Palio is closed? thanks