EDC § 92491

Except as provided otherwise in any indenture, the holder of any bond issued pursuant to this chapter may, by mandamus or other appropriate proceeding, require and compel the performance of any of the duties imposed upon the regents or upon any official or employee or assumed by the regents or any official or employee, in connection with the acquisition, construction, operation, maintenance, repair, reconstruction, or insurance of any project, or the collection, deposit, investment, application, and disbursement of rents, rates, charges, fees, and all other revenues derived from the operation and use of any project or in connection with the deposit, investment, and disbursement of the proceeds received from the sale of bonds pursuant to this chapter. The enumeration of such rights and remedies does not, however, exclude the exercise or prosecution of any other rights or remedies available to the holders of bonds issued pursuant to this chapter.