1. A computer-implemented method of determining cooling redundancy information, comprising: modeling in a computer a location to be cooled by a plurality of coolers; for each possible combination of shut down coolers, determining whether adequate cooling is available at the location; recording information identifying each combination along with whether each combination results in adequate cooling; and identifying the cooling redundancy information as a function of the recorded information.