Betting system experiences short outage at Churchill Downs [Kentucky Derby]