“A portion of the revenue from Historical Horse Racing Machines (HRMs) is used to fund the prize purses for horse races at Churchill Downs Racetrack.”