I’m visiting San Diego for a few days - any good mandolin shop recommendations from southern cal pickers? Thanks - Nick