The specific place they are talking about, Gonghe County, is around 9,400 ft high (at least at the random point I picked within it off a map). The average height across the Tibetan Plateau is 14,800 ft, but that’s an average, not a minimum.