Not all aspects of Ohio sports betting launch rolled out on time