Yes, I've eaten similar hot pots in Kunming and other parts of Yunnan province. Yunnan is famous for its mushrooms, as is Sichuan.
But there is also a restaurant of this type here in Guangxi, where I am. Called 武陵山珍 (wǔ líng shān zhēn), it is part of a Chongqing based chain with branches across China.
This time however, I was writing about the varieties easily available in my local markets and supermarkets and not those in restaurants. If I go out into the countryside and visit local markets I can find many more varieties. When I do, I'll post some more.