The federal funds pay for it through the indirect costs funding its maintenance most likely... I suspect that represents a significant portion of the total cost of the building.