Jets Stadium Development LLC (StadCo) was able to make its twice-yearly debt service payments with trapped cash this year. There is adequate trapped cash to pay the April 2021 debt service payment. At the same time, we anticipate that a vaccine will be available by June 2021 that will allow unrestricted fan attendance in the fall. Therefore, we project that the October payment should be fully supported by operating cash flows under our base case financial forecast. In our view, the stadium will not need to tap its debt service reserve under our base case, supporting the investment grade rating on the stadium. And if social distancing reduced fans to about 50% of capacity, we expect the stadium could use