I recently got a package of something that looks a lot like what I recall of
Szechuan Peppercorns (haven't used any in many years). Only difference is
they have a slightly reddish tinge, which I don't remember. But it's
labelled "Bunge Prickly Ash", "place of origin: Shan Dong." At least some
of the 'corns have that numbing/tingling effect, though some don't seem to.

A fair amount of googling didn't turn up an actual answer to the question,
"are Szechuan Peppercorns and Bunge Prickly Ash the same thing?" so I throw
myself on the mercy of the knowledgeable folk here.