... were open for business, meeting what had looked an ambitious launch date set by the Iowa Racing and Gaming Commission (IRGC) back in May.