With Mr. Cramer's mural, which I admit is pretty impressive, it seems like there also may be an issue with it being created (in 1989) before the effective date of VARA (1991). One part of VARA says a work "incorporated in or made part of a building in such a way that removing the work from the building will cause the destruction, distortion, mutilation, or other modification of the work" does not have the core VARA protections if the artist "consented to the installation of the work in the building" before the effective date of the Act. See 17 United States Code Section 113(d)(1) (https://www.law.cornell.edu/uscode/text/17/113).