20 U.S.C. § 80q–6: Custom House office space and auditorium

(a) Repairs and alterationsThe Administrator of General Services shall make such repairs and alterations as may be necessary in the portion of the Old United States Custom House at One Bowling Green, New York, New York, which is not leased to the Board of Regents under section 80q–5(b) of this title and which, as of November 28, 1989, has not been altered. (b) Authorization of appropriationThere is authorized to be appropriated to the Administrator of General Services $25,000,000 from the fund established pursuant to section 592 of title 40 to carry out this section and section 80q–5(b)(2)(B) of this title.