El mármol gris de las fachadas norte y sur tuvo que ser sustituido por granito diez años después de su construcción, y el mármol blanco de las fachadas este y oeste experimentó el mismo problema.