I had these in a spicy squid dish at a sichuan restaurant in 798 in Beijing. They behaved just like sichuan peppercorns... In fact like sichuan peppercorns on steroids. But I've never seen sichuan peppercorns that look like this. Does anyone know exactly what they are, and where I can get some (either in Beijing, or mail-order)?