Email Record: An "insulating" shotcrete for heat abatement in deep mines.