Asking for a friend. He's going there for a work trip and has some time to kill. He's been many times but never checked out any record stores. Any worth checking out? He's interested in used lp only. No cd and no need for new only stores.