What to do if the thermal oil steam generator leaks