露天掘りしてる人に聞きたい
掘っててそれなりのサイズのマグマ溜まり出てきたらどうしてる？
水ぶっかけ？砂砂利ばら撒く？それとも汲み出す？