火锅香菇煮的时间因不同香菇的品种和大小而异，但一般来说，煮5-10分钟即可。下面是具体的分点回答：
1. 香菇类型：不同类型的香菇大小和厚度不同，煮的时间也会不同。例如，平菇和松茸可以更快地煮熟，相对较厚的金针菇可能需要更长时间。
2. 火力：高火能够更快地将水沸腾，煮熟香菇的速度也会更快。根据自己的经验或者建议，可以选择中高火或大火煮菇。
3. 食用方式：如果喜欢口感较嫩的香菇，煮3-5分钟就可以；如果喜欢口感稍微硬一些的香菇，可以煮7-10分钟左右。还可以加入其他调料，如生姜、洋葱、蒜等，提高菇的味道。
总之，煮香菇的时间需要根据香菇的品种和个人口感进行调整。
