How Quickly Should an Industrial Roof Leak Be Repaired?