What is the total amount of existing bond debt for the district?

The district currently has $794 million of existing bond debt principal. A variety of state reimbursement plans combined pay 54 percent of the total debt.