‘That would include $100 million, paid out over 15 years, for any needed maintenance and repairs, plus at least an additional $180 million for capital improvements, paid out over 30 years. Actual annual state payments for the capital fund might be higher, adjusted upward based on the consumer price index.’