The receipts of said dining halls shall be used and utilized by said institutions in the operation of said dining halls; and any net profits may be disbursed upon the authority of the board of trustees for the payment of interest or principal of any revenue bonds issued by the institution under the authority of chapter 38, title 33, Idaho Code. Provided further that a reasonable reserve to be determined by the state board of education, acting as board of trustees, is hereby created for replacement of dining hall equipment.
Idaho Code § 33-3707