Code cleanups, new lava cooling code with logging.