This meal haunts my dreams. When I was studying in Korea, I went to a restaurant in Cheonan called 버섯매운탕, which served a 매운탕 with all kids of mushrooms instead of the usual fish. I really wish I could have it again but I’ve only seen it at that one restaurant. Would it be possible to develop a recipe for such a thing so I could make it at home?