There is a great LONG documentary on the building of Worldwide Plaza from the 80s, my favorite skyscraper doc of all time in fact and they cover this! Alas seems to be no longer on YouTube.
it can’t happen soon enough.
.