I had the most fabulous Sichuan hot pot in a restaurant last night and would love to have a go at cooking my own. It definitely had sichuan peppercorns and coriander seeds in but there was also a spice that looked like a green Sichuan peppercorn and tasted faintly citrus. Anyone know what it might be?