What to do if the Eastman steam generator leaks