Where Tieluohan comes from
Sources disagree on the original bush. Some place it in Huiyuan Keng, some in Guidong (Ghost Cave), and some in Zhuke. One English vendor overview says 'originally from Fengke Pit'. Guidong is sometimes treated as part of Huiyuan 'in a broad sense', which makes the dispute partly about boundaries.