石油タンカーで使う工具は、叩いても火花が出ない
工具限定って聞いたことあった。
まさに銅ハンマーなどだよね