Cray used Fluorinert, a chlorofluorocarbon. So not exactly a environmentally friendly solution.

That shouldn’t be a problem then given that we don’t care about environmental impacts anymore.