IIRC, they also used the remaining solid lava flow for district heating for a while so that it cooled down faster and could be trucked out of the way where necessary.