Although RCID paid Disney the cost of these cruise discounts at the end of the year, most employees of the district who used the benefit didn’t know this.