There are around 40,000 sprinkler heads in the building , installed at a cost of $ 4 million .
There are about 40,000 sprinkler heads in the building .