I'm going to be making a trip down to San Diego this summer, I wonder if any
of you know any good restaurants around town.