I recently discovered that szechuan peppercorns are no longer available in the USA. I will be in Hong Kong soon. Does anyone know a centrally-located spice shop (address, please) where I can purchase a few handfuls for my own cooking purposes? What is the Chinese name for szechuan peppercorns? Thanks.